Popular repositories Loading

1. haskell-resources haskell-resources Public

   Forked from cohomolo-gy/haskell-resources

   A List of Foundational Haskell Papers

2. Functional-Programming Functional-Programming Public

   Forked from caiorss/Functional-Programming

   Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python

   Haskell

3. iron iron Public

   Forked from discus-lang/iron

   Coq formalizations of functional languages.

   Coq

4. milewski-ctfp-pdf milewski-ctfp-pdf Public

   Forked from hmemcpy/milewski-ctfp-pdf

   Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

   TeX

5. functional-programming-learning-path functional-programming-learning-path Public

   Forked from imteekay/functional-programming-learning-path

   A Learning Path for Functional Programming

   Clojure

6. total-fp total-fp Public

   Forked from mietek/total-fp

   Total functional programming (ESFP) literature