欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
IHP
来自开放百科 - 灰狐
（版本间的差异）
小 (→项目) |
小 (→指南) |
||
| 第6行： | 第6行： | ||
==指南== | ==指南== | ||
| + | |||
| + | ==PostgreSQL== | ||
| + | IHP 通过内置的方式启动一个 PostgreSQL 实例，类似： | ||
| + | /nix/store/ialxlr7qv65dmxm4qd067xrfi9mgjyvq-postgresql-13.3/bin/pg_ctl -D build/db/state -l logfile start | ||
| + | 使用外部的独立 PostgreSQL 实例 | ||
==项目== | ==项目== | ||
2021年12月17日 (五) 03:15的版本
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
图集
Schema
Generators
链接
分享您的观点
