TDoc is a typed document builder with support for (X)HTML
BSD-3-CLAUSE License
No README available, please check again later.
Monad transformers in CPS
FoldMap lists
Haskell Language Report
[WIP] wrapper for running purescript compiler in browser
Pure parser for rfc-8794
Simple Haskell Minifier
Poor man's typechecker in Template Haskell
Generate Purescript types from Haskell
Terminal based Haskell structure editor
experiments with pext/pdep and codebruijn syntax
Haskell Documentation Tool
A collection of command line tools on the mbox format
LaTeX document builder for Haskell
Presentations on Liquid Haskell, type theory, and more