]>
2023-08-30 | Julien Moutinho | doc: move description to modules' header | blob | commitdiff | raw |
2023-08-30 | Julien Moutinho | doc: improve comment about `Derivable` | 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 | impl: rename type variable `repr` to `sem` | blob | commitdiff | raw | diff to current |
2022-11-22 | Julien Moutinho | impl: gather in submodules | blob | commitdiff | raw | diff to current |