Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
isIntegral :: Double -> Bool Source #
propertyExpDoc :: PropertyExp -> Doc Source #
lookupTotal :: Judgement -> Doc Source #
lookupMaxPoints :: Judgement -> Doc Source #
lookupTitle :: Judgement -> Doc Source #
getMaxPoints :: Judgement -> String Source #