欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
IHP
来自开放百科 - 灰狐
Integrated Haskell Platform (IHP)
目录 |
简介
功能
指南
项目
- 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
链接
分享您的观点
