欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Haskell ecosystem
来自开放百科 - 灰狐
（版本间的差异）
(以“Haskell ecosystem ==编译器解释器== ==语言类== ==桌面应用== ==Web应用== ==游戏== *[https://github.com/nionita/Barbarossa Barbarossa] - a che...”为内容创建页面) |
小 (→桌面应用) |
||
| 第4行： | 第4行： | ||
==语言类== | ==语言类== | ||
| + | |||
==桌面应用== | ==桌面应用== | ||
| + | *[https://github.com/lamdu/lamdu lamdu] towards the next generation [[IDE]] | ||
| + | |||
| + | ==图形GUI== | ||
==Web应用== | ==Web应用== | ||
2021年12月5日 (日) 04:04的版本
Haskell ecosystem
目录 |
编译器解释器
语言类
桌面应用
图形GUI
Web应用
游戏
- Barbarossa - a chess engine written completely in Haskell
图集
链接
分享您的观点
