learn-haskell-coq-ml-etc icon indicating copy to clipboard operation
learn-haskell-coq-ml-etc copied to clipboard

Published 20 hours ago • verified publisher icon haroldcarr
→

Metadata

Where I try code from Haskell (etc) books, articles, etc.

Where I try code from Haskell, Coq, ML, ... books, articles, courses, ...

selected contents:

Haskell

  • [[./haskell/course/upenn/cis194][Solutions to Brent Yorgey's UPenn cis 194 Haskell course]]
  • [[https://github.com/haroldcarr/learn-haskell-coq-ml-etc/tree/master/haskell/course/nicta/src/Course][Solutions and Equational Reasoning to NICTA Haskell course]]
  • [[./haskell/course/coursera-fp-odersky-but-in-haskell][Solutions in Haskell to Martin Odersky's Functional Programming Principles in Scala coursera course]]
  • [[./haskell/course/2014-07-utrecht/src/][Solutions in 2014-07 Utrecht Applied Functional Programming in Haskell course]]
  • [[./haskell/paper/monad-reader/issue22/gadt.org][Type Level Computation in Haskell via GADTs]]

Coq

  • [[./coq/book/SF-2013-07-18-worked][Software Foundations]]

← Metadata

34
Stars
6
Forks
Watchers

Owner

verified publisher icon haroldcarr

Metadata

Where I try code from Haskell (etc) books, articles, etc.

Back