File | Mode | Size |
---|---|---|
calculus-proposal | ||
doc | ||
examples | ||
lib | ||
project | ||
protocols | ||
src | ||
testing | ||
.gitignore | -rw-r--r-- | 561 bytes |
.travis.yml | -rw-r--r-- | 151 bytes |
COPYING | -rw-r--r-- | 34.3 KB |
README.md | -rw-r--r-- | 1.2 KB |
atp.sh | -rwxr-xr-x | 116 bytes |
build.sbt | -rw-r--r-- | 5.2 KB |
cli.sh | -rwxr-xr-x | 427 bytes |
gui.sh | -rwxr-xr-x | 114 bytes |
include.sh | -rw-r--r-- | 716 bytes |