
4 Sep
2019
4 Sep
'19
3:31 p.m.
Joachim On our home page https://github.com/ghc-proposals/ghc-proposals there is a list of "proposals under committee review": https://github.com/ghc-proposals/ghc-proposals/pulls?q=is%3Aopen+is%3Apr+lab... But alas the latter shows zero proposals -- but I know there are proposals under review. What's up? Simon