The mikrokosmos package

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

A didactic untyped lambda calculus interpreter.


[Skip to Readme]

Properties

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)
Maintainer mromang08+github@gmail.com
Category Language
Home page https://github.com/M42/mikrokosmos
Bug tracker https://github.com/M42/mikrokosmos/issues
Source repository head: git clone git://github.com/M42/mikrokosmos.git
Uploaded Tue Aug 15 19:33:25 UTC 2017 by mroman42
Distributions NixOS:0.6.0
Executables mikrokosmos
Downloads 298 total (11 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

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for mikrokosmos-0.6.0

[back to package description]

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