The mikrokosmos package

[Tags:gpl, program]

A didactic untyped lambda calculus interpreter.


[Skip to Readme]

Properties

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)
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 Thu Jul 20 12:08:37 UTC 2017 by mroman42
Distributions NixOS:0.2.0
Downloads 129 total (54 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
Last success reported on 2017-07-20 [all 3 reports]
Hackage Matrix CI

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Readme for mikrokosmos

Readme for mikrokosmos-0.3.0

mikrokosmos

<p align="center"> <img src ="https://raw.githubusercontent.com/M42/mikrokosmos/master/docs/icon.svg.png" /> </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.