lukstafi/curious-ocaml
A curious book about OCaml: logic (types), algebra (values), computation (rewrite semantics), functions (lambda calculus), constraints, monads, expression.
TclGPL-3.0
Stargazers
- 9glenda@seekr-osint @eza-community
- aktersnurraStockholm
- aresbit
- atkinjac000
- bancsorin10
- bclaud@solfacil
- david-engelmannBeatGig
- EMPAT94London, Ontario
- haoming-li-ling
- kaniak274@makimo
- LeoNeroSomewhere
- ludwig-austermann
- montalvomiguelo@archetype-themes
- NaylepshWrocław, Poland
- OmkarKabadagi5823Nference Labs (Pramana)
- pedrofgdBTG Pactual
- phobos731
- pretentious7
- sebamiro
- someoneonsmile
- thevndrew
- tjdevries
- UltrahalfNone
- vvnramanBloomberg
- yaowenqiangt8t