]>
2021-07-11 | Julien Moutinho | replace ValueCode by Production | blob | commitdiff | raw |
2021-07-11 | Julien Moutinho | more on failures | 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-20 | Julien Moutinho | Fix infinite loop in observeSharing | blob | commitdiff | raw | diff to current |
2020-10-07 | Julien Moutinho | add .envrc and .gitignore | blob | commitdiff | raw | diff to current |