The register-machine-typelevel package
Computationally universal register machine implementation at the type-level.
This formulation is identical to the Lambek
machine, with the addition
of an explicit
Halt instruction, for convenience.
This means (or rather, this is made possible by the fact) that that
Haskell's type system is Turing complete (at least with
TypeFamilies and UndecidableInstances).
[Skip to Readme]
|Dependencies||base (>=4.8 && <=4.9) [details]|
|Source repo||head: git clone https://github.com/kcsongor/register-machine-type|
|Uploaded||Mon Apr 4 23:01:31 UTC 2016 by kcsongor|
|Downloads||204 total (8 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
|Status||Docs available [build log]
Last success reported on 2016-04-04 [all 1 reports]
Hackage Matrix CI
For package maintainers and hackage trustees