The mikrokosmos package

[Tags:gpl, program]

A didactic untyped lambda calculus interpreter.

[Skip to Readme]


Versions 0.1.0, 0.2.0, 0.3.0
Dependencies ansi-terminal, base (>=4.7 && <5), containers (>=0.5), directory (>=1.0), haskeline (>=0.7), HUnit (>=1.0), mtl (>=2.2), multimap, options, parsec (>=3), tasty, tasty-hunit [details]
License GPL-3
Author Mario Román (M42)
Category Language
Home page
Bug tracker
Source repository head: git clone git://
Uploaded Thu Jul 20 12:08:37 UTC 2017 by mroman42
Distributions NixOS:0.2.0
Downloads 129 total (54 in the last 30 days)
0 []
Status Docs not available [build log]
Last success reported on 2017-07-20 [all 3 reports]
Hackage Matrix CI


Maintainer's Corner

For package maintainers and hackage trustees

Readme for mikrokosmos

Readme for mikrokosmos-0.3.0


<p align="center"> <img src ="" /> </p>

Mikrokosmos is an untyped lambda 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 lambda calculus.