| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 16 | logplain |
| -rw-r--r-- | README.md | 173 | logplain |
| d--------- | ast / CC | 29 | logplain |
| d--------- | backend / CC / Backend | 29 | logplain |
| -rw-r--r-- | compcomp.cabal | 1414 | logplain |
| -rw-r--r-- | hie.yaml | 343 | logplain |
| d--------- | main | 35 | logplain |
| d--------- | parser / CC | 29 | logplain |
| d--------- | typecheck / CC | 29 | logplain |
| d--------- | utils / CC | 29 | logplain |
 |
index : compcomp | |
| Composable compiler | git daemon user |
| aboutsummaryrefslogtreecommitdiff |