# register-machine-typelevel: A computationally universal register machine implementation at the type-level

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]

Versions | 0.1.0.0 |
---|---|

Dependencies | base (>=4.8 && <=4.9) [details] |

License | BSD-3-Clause |

Author | Csongor Kiss |

Maintainer | kiss.csongor.kiss@gmail.com |

Category | Language |

Home page | https://github.com/kcsongor/register-machine-type |

Source repo | head: git clone https://github.com/kcsongor/register-machine-type |

Uploaded | by kcsongor at Mon Apr 4 23:01:31 UTC 2016 |

Distributions | NixOS:0.1.0.0 |

Downloads | 249 total (18 in the last 30 days) |

Rating | (no votes yet) [estimated by rule of succession] |

Your Rating | |

Status | Docs available [build log] Last success reported on 2016-04-04 [all 1 reports] Hackage Matrix CI |

## Downloads

- register-machine-typelevel-0.1.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)