4 ms·Looks great! Also looks like academic abandonware.by sramsay 7y agoLooks great! Also looks like academic abandonware.Animats 7y ago(2012) Demo broken.mintplant 7y agoI 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/