I know/have worked with the team behind it at UCSD. They've mostly moved on to LiquidHaskell [0]. [0] https://ucsd-progsys.github.io/liquidhaskell-blog/ https:

I know/have worked with the team behind it at UCSD. They've mostly moved on to LiquidHaskell [0]. [0] https://ucsd-progsys.github.io/liquidhaskell-blog/ https://ucsd-progsys.github.io/liquidhaskell-blog/