Pinned Loading

1. gpif-idris gpif-idris Public

   Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.

   Idris 14

2. icfpc2014 icfpc2014 Public

   1st place solution (main round) in ICFPC 2014.

   Scheme 6

3. coursera-progfun-faqs coursera-progfun-faqs Public

   Community FAQs for Functional Programming Principles in Scala class on Coursera.

   Scala 8 7

4. gpif-datakinds gpif-datakinds Public

   Generic Programming with Indexed Functors using DataKinds -- (co)recursion schemes for "free"!

   Haskell 8 1

5. coursera-proglang-practice coursera-proglang-practice Public

   Practice problems for Programming Languages class on Coursera.

   Standard ML 4 1

6. Data.TotalRecall Data.TotalRecall Public

   Mnemonic values and computations in Haskell. Prototype.

   Haskell