Immutability, Pattern Matching, Type Theory, Pure Functions, Type Systems, Monads, Haskell, OCaml, Immutability, Pure Functions, Monads, Agda

Irmin Retrospective
patrick.sirref.orgยท4dยท
Vibe Server
vibe.des.ioยท19hยท
Discuss: Hacker News