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 |