
10 Feb
2016
10 Feb
'16
2:21 a.m.
Are these in Haskell already? I see them referenced in something that's called LiquidHaskell, which has its last blog entry from Jan 2015.
Unfortunately, I don't think they are, outside of LiquidHaskell. But LH seems to be actively developed, nevermind the stale blog - last commit to the Github repo was 11 days ago. Best regards, Marcin Mrotek