A λ-calculus interpreter

Table of Contents


Mikrokosmos is an untyped and simply typed λ-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 the λ-calculus.

Try Mikrokosmos!

You can try Mikrokosmos in your browser. Press the evaluate button below!

A more detailed tutorial and a user's guide are available.


Mikrokosmos has been developed by Mario Román as part of a bachelor thesis. It is free software licensed under GPL-3. You can follow the development on the relevant GitHub repositories

Author: Mario Román (github)

Created: 2018-07-27 Fri 16:54