Follow @
OH
L
Where I try code from Haskell (etc) books, articles, etc.
coq functional_programming haskell ml ocaml scala