Lambda calculus interpreter.

A didactic untyped lambda calculus interpreter.

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 λ-calculus. It supports both untyped λ-calculus and simply typed λ-calculus.

• Try Mikrokosmos!
• Mikrokosmos tutorial.
• Mikrokosmos user's guide.
• Mikrokosmos on Hackage.