noether-0.0.1: Math in Haskell.
Noether.Equality.Tutorial
testInt :: Bool Source #
testDouble :: (Bool, Bool) Source #
test1 :: Double -> Bool Source #
newtype Dbl Source #
Constructors
Instances
test2 :: Bool Source #
newtype Dbl' Source #
test3 :: Bool Source #
test4 :: (Bool, Bool) Source #
newtype Mod n Source #
test5 :: Bool Source #