git.pablopie.xyz
caml-urm
A OCaml module for manipulating unlimited register machines
summary
log
tree
license
Name
.gitignore
LICENSE
Makefile
README.md
docs.pdf
examples/
main.ml
urm.1
urm.ml
urm.mli