Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
https://ucsd-progsys.github.io/liquidhaskell-blog/2020/08/20/lh-as-a-ghc-plugin.lhs/ This is super amazing! Running LH now shouldn't be harder than e.g. using polysemy-plugin
polysemy-plugin
https://ucsd-progsys.github.io/liquidhaskell-blog/2020/08/20/lh-as-a-ghc-plugin.lhs/
This is super amazing! Running LH now shouldn't be harder than e.g. using
polysemy-plugin