欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
IHP
来自开放百科 - 灰狐
Integrated Haskell Platform (IHP)
目录 |
简介
功能
指南
PostgreSQL
IHP 通过内置的方式启动一个 PostgreSQL 实例,类似:
/nix/store/ialxlr7qv65dmxm4qd067xrfi9mgjyvq-postgresql-13.3/bin/pg_ctl -D build/db/state -l logfile start
使用外部的独立 PostgreSQL 实例
项目
- IHP @ GitHub
- IHP Forum
- CO2 Database
- ihp-blog-example-app
- IHP Example App: Slack-like Chat
- Haskell based Retro board
- Starboard federator
- Attics Thousands of live concerts at your fingertips
- windofchange.me is a social note-taking webapp
图集
链接
分享您的观点