| Age | Commit message (Expand) | Author |
|---|---|---|
| 2023-01-12 | Provide examples of Obs code.•••This folder spells out the action of equality and cast for the different type constructors. Ideally the two correctness proofs should given by reflexivity. HEADmaster | Greg Brown |
 |
index : yellowsquid/idris-obs.git | |
| [no description] | Chloe Brown |
| summaryrefslogtreecommitdiff |