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 | 669 | logplain |
-rw-r--r-- | README.md | 397 | logplain |
-rw-r--r-- | Setup.hs | 46 | logplain |
-rw-r--r-- | TODO | 11058 | logplain |
d--------- | backend-test-data / editor | 33 | logplain |
d--------- | backendtest | 179 | logplain |
-rwxr-xr-x | create-test-report.sh | 284 | logplain |
-rw-r--r-- | lambdacube-compiler.cabal | 6057 | logplain |
d--------- | lc | 117 | logplain |
d--------- | prototypes | 156 | logplain |
-rwxr-xr-x | run-test-suite.sh | 1410 | logplain |
d--------- | src / LambdaCube | 37 | logplain |
-rw-r--r-- | stack.yaml | 161 | logplain |
d--------- | test | 115 | logplain |
d--------- | testdata | 7459 | logplain |
d--------- | tool | 75 | logplain |
d--------- | travis | 74 | logplain |