davdar/stlc-to-cpsf-agda
Public repository.
Developer Profile
davdar
Discovered public repositories for davdar in the GitHub catalog.
davdar/hcore
rethinking the core libraries (Prelude and more) for Haskell
davdar/coq-weqv
weak (partial) equivalence relations, weak setoids, and equational reasoning
davdar/mpretty
A monadic pretty printer. Pretty on the inside and out!
davdar/project-apricot
a game
davdar/coq-fp
functional programming (and reasoning) in coq
davdar/cut-elimination
Proving cut elimination for the sequent calculus in Coq