]>
2023-01-25 | Julien Moutinho | doc: fix remaining `<:>` to `<.>` | tree | commitdiff |
2023-01-25 | Julien Moutinho | iface: add syntax for `either` | tree | commitdiff |
2023-01-25 | Julien Moutinho | iface: fix gather in submodules | tree | commitdiff |
2022-11-22 | Julien Moutinho | iface: move `(.@)` into `Unabstractable` | tree | commitdiff |
2022-11-22 | Julien Moutinho | impl: rename type variable `repr` to `sem` | tree | commitdiff |
2022-11-22 | Julien Moutinho | iface: add syntax `IfSemantic` | tree | commitdiff |
2022-11-22 | Julien Moutinho | impl: gather in submodules | tree | commitdiff |