Mikrokosmos
A λ-calculus interpreter

Table of Contents

icon.svg.png

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.

About

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: 2017-11-09 Thu 16:21

Validate