Where I try code from Haskell, Coq, ML, … books, articles, courses, …
selected contents:
Haskell
- Solutions to Brent Yorgey’s UPenn cis 194 Haskell course
- Solutions and Equational Reasoning to NICTA Haskell course
- Solutions in Haskell to Martin Odersky’s Functional Programming Principles in Scala coursera course
- Solutions in 2014-07 Utrecht Applied Functional Programming in Haskell course
- Type Level Computation in Haskell via GADTs
Coq