| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Agda.cabal | 26894 | logplain |
| -rw-r--r-- | CHANGELOG.md | 249530 | logplain |
| -rw-r--r-- | LICENSE | 4876 | logplain |
| -rw-r--r-- | README.md | 6256 | logplain |
| -rw-r--r-- | Setup.hs | 1776 | logplain |
| d--------- | dist | 32 | logplain |
| d--------- | src | 129 | logplain |
| -rw-r--r-- | stack-7.8.4.yaml | 478 | logplain |
| -rw-r--r-- | stack-8.0.1.yaml | 99 | logplain |
 |
index : Agda/ | |
| Agda - http://hackage.haskell.org/package/Agda | hdiff |
| summaryrefslogtreecommitdiff |