mikrokosmos

Mikrokosmos is a λ-calculus interpreter, borrowing its name from the series of progressive piano études Mikrokosmos written by Bela Bartok. It aims to provide students with a tool to learn and understand lambda calculus.

• Mikrokosmos user's guide.
• Mikrokosmos on Hackage.