Yep, ATS is value-dependent typed. Refinement types, as Liquid (Haskell)
-
-
-
LiquidHaskell, my bad
-
Lol, again, I should take some coffee. Liquid Haskell. Ain't the same thing :/
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.