A language to demonstrate embedded pattern matching
MIT License
Deep-embedded combinators for strategic rewriting.
A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
Embedded language for high-performance array computations
A modern syntax for the λ-calculus.
Combinators for manipulating locally-nameless generalized de Bruijn terms
Sometimes when I feel sad I implement a dependently typed lambda calculus.
Miscellaneous articles. The readme is the table of contents.
An Experiment in Haskell Symbolic Algebra
oleg modules
A simple expressions language with polymorphic extensible row types.
Functional Programming Course
silly dependently-typed language
An opinionated list of resources for learning Haskell
Matchers and grammars using tree regular expressions