| Mode | Name | Size | |
|---|---|---|---|
| d--------- | Data | 372 | logplain |
| -rw-r--r-- | Decidable.idr | 7282 | logplain |
| d--------- | Decidable | 75 | logplain |
| -rw-r--r-- | Parser.idr | 26459 | logplain |
| -rw-r--r-- | Term.idr | 18916 | logplain |
| d--------- | Term | 230 | logplain |
| -rw-r--r-- | Type.idr | 29740 | logplain |
| d--------- | Type | 38 | logplain |
 |
index : yellowsquid/inky.git | |
| [no description] | Chloe Brown |
| summaryrefslogtreecommitdiff |