The mikrokosmos package

[ Tags: gpl, language, program ] [ Propose Tags ]

A didactic untyped lambda calculus interpreter.

[Skip to Readme]


Versions 0.1.0, 0.2.0, 0.3.0, 0.4.0, 0.5.0, 0.6.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, tasty-quickcheck [details]
License GPL-3
Author Mario Román (M42)
Category Language
Home page
Bug tracker
Source repo head: git clone git://
Uploaded Tue Aug 15 19:33:25 UTC 2017 by mroman42
Distributions NixOS:0.6.0
Executables mikrokosmos
Downloads 995 total (41 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
Last success reported on 2017-08-15 [all 3 reports]
Hackage Matrix CI


Maintainer's Corner

For package maintainers and hackage trustees

Readme for mikrokosmos-0.6.0

[back to package description]


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

Mikrokosmos is a λ-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 λ-calculus. It supports both untyped λ-calculus and simply typed λ-calculus.