mikrokosmos: Lambda calculus interpreter
Downloads
- mikrokosmos-0.8.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- 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 |
| Distributions | |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Executables | mikrokosmos |
| Downloads | 4460 total (27 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]mikrokosmos
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.