| 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 |
