/mu2

A lamba calculus implemented in haskell.

Primary LanguageHaskell

This repository is not active