Gabriella439/Haskell-Morte-Library
A bare-bones calculus-of-constructions
A parser for Python 2.x and 3.x written in Haskell
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 bare-bones calculus-of-constructions
Pure Type Systems for Functional Programming
A monad for managed values
Command line utility to record command environments and output