https://github.com/gapt/gapt
History
Tip revision: 00b4332ed235f3208154b65219e98b5605f4efde authored by Gabriel Ebner on 18 April 2016, 11:30:20 UTC
Release 2.1.
Tip revision: 00b4332
File Mode Size
calculus-proposal
ceres_unary_eq
cli
core
doc
examples
project
protocols
testing
tests
.gitignore -rw-r--r-- 699 bytes
.sbtopts -rw-r--r-- 10 bytes
.travis.yml -rw-r--r-- 216 bytes
COPYING -rw-r--r-- 34.3 KB
README.md -rw-r--r-- 2.5 KB
RELEASE-NOTES.md -rw-r--r-- 1.0 KB
build.sbt -rw-r--r-- 9.3 KB
gapt.sh -rwxr-xr-x 428 bytes
include.sh -rw-r--r-- 715 bytes

README.md

back to top