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