# mikrokosmos
<p align="center">
<img src ="https://raw.githubusercontent.com/M42/mikrokosmos/master/docs/icon.svg.png" />
</p>
**Mikrokosmos** is a λ-calculus interpreter, borrowing its name from the series of
progressive piano études *[Mikrokosmos](https://www.youtube.com/watch?v=VEsMk3DAzWM)* 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.
* [Mikrokosmos user's guide](https://m42.github.io/mikrokosmos/).
* [Mikrokosmos on Hackage](https://hackage.haskell.org/package/mikrokosmos).