Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 132 | logplain |
-rw-r--r-- | .travis.yml | 419 | logplain |
-rw-r--r-- | LICENSE | 1589 | logplain |
-rw-r--r-- | Makefile | 198 | logplain |
-rw-r--r-- | README.md | 472 | logplain |
-rw-r--r-- | Setup.hs | 46 | logplain |
-rw-r--r-- | TODO | 8094 | logplain |
-rwxr-xr-x | create-test-report.sh | 284 | logplain |
-rw-r--r-- | lambdacube-compiler.cabal | 4633 | logplain |
d--------- | lc | 117 | logplain |
d--------- | prototypes | 156 | logplain |
-rwxr-xr-x | run-test-suite.sh | 1571 | logplain |
d--------- | src / LambdaCube / Compiler | 37 | logplain |
-rw-r--r-- | stack.yaml | 164 | logplain |
d--------- | test | 115 | logplain |
d--------- | testdata | 6948 | logplain |
d--------- | tool | 39 | logplain |
-rwxr-xr-x | travis-build.sh | 222 | logplain |