https://github.com/gapt/gapt
Tip revision: 4fe621c8a66be7deb0634105a811857c23a5ff39 authored by Gabriel Ebner on 18 January 2016, 08:08:56 UTC
Release 2.0.
Release 2.0.
Tip revision: 4fe621c
| File | Mode | Size |
|---|---|---|
| calculus-proposal | ||
| ceres_unary_eq | ||
| doc | ||
| examples | ||
| lib | ||
| project | ||
| protocols | ||
| src | ||
| testing | ||
| .gitignore | -rw-r--r-- | 699 bytes |
| .sbtopts | -rw-r--r-- | 10 bytes |
| .travis.yml | -rw-r--r-- | 151 bytes |
| COPYING | -rw-r--r-- | 34.3 KB |
| README.md | -rw-r--r-- | 2.4 KB |
| build.sbt | -rw-r--r-- | 6.8 KB |
| gapt.sh | -rwxr-xr-x | 428 bytes |
| include.sh | -rw-r--r-- | 715 bytes |
