Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

The Haskell Tool Stack

elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide

Algebraic graphs

A demo implementation of a simple dependently-typed language

Experimental implementation of Cubical Type Theory

Haskell pretty printer

A bare-bones calculus-of-constructions