| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 132 | logplain |
| -rw-r--r-- | .travis.yml | 587 | logplain |
| -rw-r--r-- | LICENSE | 1589 | logplain |
| -rw-r--r-- | Makefile | 678 | logplain |
| -rw-r--r-- | README.md | 397 | logplain |
| -rw-r--r-- | Setup.hs | 46 | logplain |
| -rw-r--r-- | TODO | 12099 | logplain |
| d--------- | backend-test-data / editor | 33 | logplain |
| d--------- | backendtest | 179 | logplain |
| -rwxr-xr-x | create-perf-report.sh | 166 | logplain |
| -rwxr-xr-x | create-test-report.sh | 284 | logplain |
| -rw-r--r-- | lambdacube-compiler.cabal | 6487 | logplain |
| d--------- | lc | 117 | logplain |
| d--------- | performance | 88 | logplain |
| d--------- | prototypes | 156 | logplain |
| -rwxr-xr-x | run-test-suite.sh | 1452 | logplain |
| d--------- | src / LambdaCube | 37 | logplain |
| -rw-r--r-- | stack.yaml | 161 | logplain |
| d--------- | test | 156 | logplain |
| d--------- | testdata | 7087 | logplain |
| d--------- | tool | 75 | logplain |
| d--------- | travis | 74 | logplain |
 |
index : lambdacube-compiler.git | |
| summaryrefslogtreecommitdiff |