| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| feature/indexed | Remove import alias. | Greg Brown | 4 years | |
| feature/reindex | Make more arguments irrelevant. | Greg Brown | 4 years | |
| maintainence | Sort list of modules. | Greg Brown | 4 years | |
 |
index : yellowsquid/idris-setoid.git | |
| [no description] | Chloe Brown |
| summaryrefslogtreecommitdiff |