Haskell 用の静的解析ツール LiquidHaskell の入門書を頒布する予定です