LiquidHaskell

https://ucsd-progsys.github.io/liquidhaskell

LiquidHaskell is a type checker that refines Haskell's types with logical predicates to enforce...

Tokens:227,817
Snippets:1,862
Trust Score:9.7
Update:2 months ago
Tokens:
Raw