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

My Ishmael
dothemath.ucsd.edu·20h
No Comment
prog21.dadgum.com·20h·
Discuss: Hacker News