| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 58 | logplain |
| -rw-r--r-- | CoreLint.ott | 18520 | logplain |
| -rw-r--r-- | CoreSyn.ott | 29498 | logplain |
| -rw-r--r-- | Makefile | 508 | logplain |
| -rw-r--r-- | OpSem.ott | 4158 | logplain |
| -rw-r--r-- | README | 4048 | logplain |
| -rw-r--r-- | core-spec.mng | 23331 | logplain |
| -rw-r--r-- | core-spec.pdf | 366905 | logplain |
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |