Gabriella439/haskell-in-the-large
A book about large-scale design in Haskell
Examples for the mvc-updates library
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
A book about large-scale design in Haskell
A bare-bones calculus-of-constructions
A parser for Python 2.x and 3.x written in Haskell
Pure Type Systems for Functional Programming