jcouyang / grokking-monad
购买 https://gum.co/grokking-monad 在线阅读
☆102Updated last year
Alternatives and similar repositories for grokking-monad:
Users that are interested in grokking-monad are comparing it to the libraries listed below
- 用作文档目的，翻译方式见 Issue #10☆41Updated 5 years ago
- 这是Haskell函数式编程入门第2版的源码☆81Updated 7 years ago
- My slides and notes☆137Updated last year
- home page☆76Updated 2 years ago
- ☆25Updated 8 years ago
- Jichao Ouyang's Blog, generated by orgpress☆44Updated 2 years ago
- A toy xmonad☆31Updated 4 years ago
- This is source code of my book.☆67Updated 8 years ago
- Scala 3 中文站 网站仓库☆23Updated 3 years ago
- solutions for problems/puzzles from a variety of websites in fancy languages☆18Updated 13 years ago
- [Deprecated] checkout http://fp-china.org☆59Updated 8 years ago
- IO lib for haskell☆99Updated 9 months ago
- learn you a haskell for great good 中文版☆146Updated 3 years ago
- Placeholder for the OwO compiler☆59Updated 6 years ago
- Optimized JS codegen for Idris☆54Updated 6 years ago
- array, slices and text☆70Updated 7 months ago
- Successor project: https://github.com/thautwarm/Quick-Backend☆24Updated 5 years ago
- 《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版☆210Updated this week
- a scala library for support jaskell design☆38Updated last year
- https://openpal.github.io/TypeAndProof/☆99Updated 7 years ago
- CN MonaD.ReadeR Reading Group☆107Updated 8 years ago
- Learn You a Lambda, a Haskell Tutorial☆47Updated 8 years ago
- Python module for composing computations☆26Updated last year
- 魔力haskell官方网站☆296Updated 5 years ago
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Updated 5 years ago
- A powerful, easy-to-use, modern Java core library for the future☆64Updated last week
- Cicada Language (solo version)☆128Updated last month
- ☆12Updated 6 years ago
- ☆148Updated 8 years ago
- A collection of PLT researching☆29Updated this week