]>
2023-01-25 | Julien Moutinho | impl: rename module `ADT` to `EithersOfTuples` | blob | commitdiff | raw |
2023-01-25 | Julien Moutinho | iface: replace `adt` by `dataType`, and support `Tuples... | blob | commitdiff | raw | diff to current |
2023-01-25 | Julien Moutinho | iface: remove syntax `Routable` | blob | commitdiff | raw | diff to current |
2023-01-25 | Julien Moutinho | iface: add syntax for `either` | blob | commitdiff | raw | diff to current |
2023-01-25 | Julien Moutinho | iface: fix gather in submodules | blob | commitdiff | raw | diff to current |
2022-11-22 | Julien Moutinho | iface: move `(.@)` into `Unabstractable` | blob | commitdiff | raw | diff to current |
2022-11-22 | Julien Moutinho | impl: rename type variable `repr` to `sem` | blob | commitdiff | raw | diff to current |
2022-11-22 | Julien Moutinho | iface: add syntax `IfSemantic` | blob | commitdiff | raw | diff to current |
2022-11-22 | Julien Moutinho | impl: gather in submodules | blob | commitdiff | raw | diff to current |