]>
2021-07-11 | Julien Moutinho | fix: use a global polyfix for defLet and defRef | blob | commitdiff | raw |
2021-07-11 | Julien Moutinho | bug: a ref outside its def must be supported | blob | commitdiff | raw | diff to current |
2021-02-01 | Julien Moutinho | test: hide unique names for reproductibility | blob | commitdiff | raw | diff to current |
2020-11-12 | Julien Moutinho | bump to ghc-9.0.1 to get a levity-polymorphic CodeQ | blob | commitdiff | raw | diff to current |
2020-10-21 | Julien Moutinho | Polish code and dumps | blob | commitdiff | raw | diff to current |
2020-10-20 | Julien Moutinho | Fix infinite loop in observeSharing | blob | commitdiff | raw | diff to current |
2020-10-12 | Julien Moutinho | Rename Unlift to Output | blob | commitdiff | raw | diff to current |
2020-10-12 | Julien Moutinho | Generalize Liftable with Trans | blob | commitdiff | raw | diff to current |
2020-10-12 | Julien Moutinho | Extract Letable into generic module | blob | commitdiff | raw | diff to current |