📖 source material for Thinking with Types
Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"
This book will be an undergraduate textbook written in the univalent style, taking advantage of t...
The Xapi Project's XenAPI Server
A collaborative bibliography of work related to the theory and practice of computational effects
Home of the Xapi-project docs site
Book in preparation: introduction to theoretical computer science
A composable build system for OCaml.
Lenses, Folds, and Traversals - Join us on freenode #haskell-lens
@cim1985 好 happy 啊,一年后还招的话我就过去
github 又一个不错的产品。
这个要看场合了。
那个 saas 课程没学完
mark,下次一定要找个文艺些的公司
我比较符合条件。哇卡卡!
汗颜啊
要坚持看啊
嗯,jokry 的提议不错。