https://github.com/gapt/gapt
Tip revision: 8e74d468898457ae74a0a9dde4664eded66fd621 authored by Gabriel Ebner on 15 January 2016, 15:51:05 UTC
Javascript port using ScalaJS
Javascript port using ScalaJS
Tip revision: 8e74d46
File | Mode | Size |
---|---|---|
calculus-proposal | ||
ceres_unary_eq | ||
doc | ||
examples | ||
js | ||
jvm | ||
project | ||
protocols | ||
shared | ||
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-- | 7.4 KB |
gapt.sh | -rwxr-xr-x | 428 bytes |
include.sh | -rw-r--r-- | 725 bytes |