# 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).