]>
2023-09-27 | Julien Moutinho | iface: rename `OpenRec` to `OpenLetRec` | blob | commitdiff | raw |
2023-09-13 | Julien Moutinho | iface: rename `observeSharing` to `sharingObserver` | blob | commitdiff | raw | diff to current |
2023-09-11 | Julien Moutinho | iface: rename `unFinalizeSharing` to `unSharingFinalizer` | blob | commitdiff | raw | diff to current |
2023-08-30 | Julien Moutinho | doc: move description to modules' header | 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 |