~james/span

ref: a68ad347f48eb214044370b3ca67d33d9b3c9a6d / d---------
a68ad347 — james initial commit 11 days ago
-rw-r--r--
.gitignore
22 bytes
l---------
Encoding.thy
16 bytes
l---------
Machine.thy
15 bytes
-rw-r--r--
Makefile
611 bytes
-rw-r--r--
README.md
1.0 KiB
-rw-r--r--
ROOT
219 bytes
l---------
Relax.thy
13 bytes
d---------
cli/
d---------
examples/
d---------
media/
-rwxr-xr-x
span
234 bytes
d---------
src/
d---------
tests/