https://kosmikus.org [email protected]
Well-Typed LLP Regensburg
Andres Löh
Preprocessor for typesetting Haskell sources with LaTeX
kosmikus
Experimental implementation of generic record subtyping