liquidhaskell-cabal-demo-0.2.0.1: Demo of Liquid Haskell integration for Cabal and stack
B
minus :: Int -> Int -> Int Source #