mikrokosmos: Lambda calculus interpreter

[ gpl, language, program ] [ Propose Tags ]

A didactic untyped lambda calculus interpreter.

[Skip to Readme]


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS] 0.1.0, 0.2.0, 0.3.0, 0.4.0, 0.5.0, 0.6.0, 0.8.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-golden, tasty-hunit, tasty-quickcheck [details]
License GPL-3.0-only
Author Mario Román (mroman42)
Maintainer mromang08+github@gmail.com
Category Language
Home page https://github.com/mroman42/mikrokosmos
Bug tracker https://github.com/mroman42/mikrokosmos/issues
Source repo head: git clone git://github.com/mroman42/mikrokosmos.git
Uploaded by mroman42 at 2018-08-01T13:48:52Z
Reverse Dependencies 1 direct, 0 indirect [details]
Executables mikrokosmos
Downloads 4500 total (18 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2018-08-01 [all 3 reports]

Readme for mikrokosmos-0.8.0

[back to package description]


Version Travis (.org)

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.