Pinned Loading

1. axellang/axel axellang/axel Public

   Haskell + Lisp

   Haskell 214 9

2. coq-alpha-pearl coq-alpha-pearl Public

   Coq formalization of "Functional Pearls: α-conversion is easy" (Altenkirch, 2002).

   Coq 6