| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Provide examples of Obs code. | Greg Brown | 2 years | |
| Age | Commit message | Author | ||
| 2023-01-12 | Provide examples of Obs code.HEADmaster | Greg Brown | ||
| 2023-01-12 | Fix bug in equality for pi types. | Greg Brown | ||
| 2023-01-12 | Slightly prettify pretty printing. | Greg Brown | ||
| 2023-01-12 | refactor: fix token groups in parser. | Greg Brown | ||
| 2023-01-08 | refactor: fix grouping. | Greg Brown | ||
| 2023-01-08 | refactor: improve alignment in pretty printing. | Greg Brown | ||
| 2023-01-08 | Add box types. | Greg Brown | ||
| 2023-01-07 | Correct typing of container extensions. | Greg Brown | ||
| 2023-01-07 | Add postulates. | Greg Brown | ||
| 2023-01-07 | Add containers types. | Greg Brown | ||
| [...] | ||||
 |
index : yellowsquid/idris-obs.git | |
| [no description] | Chloe Brown |
| summaryrefslogtreecommitdiff |