]>
2023-09-07 | Julien Moutinho | iface: add semantic `Identity` | blob | commitdiff | raw |
2023-08-30 | Julien Moutinho | iface: add semantic `Forall` | blob | commitdiff | raw | diff to current |
2023-07-17 | Julien Moutinho | iface: remove `ToFer` semantic in favor of `(-->)` | blob | commitdiff | raw | diff to current |
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: fix gather in submodules | blob | commitdiff | raw | diff to current |