caml-urm
A OCaml module for manipulating unlimited register machines
| Mode | Name | Size |
-rw-r--r-- |
.gitignore | 4L |
-rw-r--r-- |
LICENSE | 674L |
-rw-r--r-- |
Makefile | 13L |
-rw-r--r-- |
README.md | 35L |
-rw-r--r-- |
docs.pdf | 137621B |
-rw-r--r-- |
examples/factorial.urm | 21L |
-rw-r--r-- |
examples/fibonacci.urm | 18L |
-rw-r--r-- |
examples/mod.urm | 9L |
-rw-r--r-- |
main.ml | 97L |
-rw-r--r-- |
urm.1 | 99L |
-rw-r--r-- |
urm.ml | 127L |
-rw-r--r-- |
urm.mli | 88L |