LiquidHaskell
篩型
を書けるらしい
公式Doc:
LiquidHaskell Docs
Haskell
のパッケージとして公開されている
Liquid Types
『Liquid Types』
確認用
Q. LiquidHaskell
参考
About - LiquidHaskell
LiquidHaskell 入門 その1 - 存在と一意性の証明
/mrsekut-p/LiquidHaskell
関連
Hindley-Milner型推論