Presentations on Liquid Haskell, type theory, and more
BSD-3-CLAUSE License
Statistics for this project are still being loaded, please check back later.
Proof combinators used in Liquid Haskell for theorem proving
LaTeX document builder for Haskell
(Un)abstract graphics library
Graph-Theoretic Analysis library
Singletons and induction schemes for GHC TypeLits.
Monad transformers in CPS
haskell typesetting
Poor man's typechecker in Template Haskell
Generate Purescript types from Haskell
Example application with Cloud Haskell.
New Style GUI Library
Verified Parallelized Version of String Mathcing