Maintainer | bastiaan.heeren@ou.nl |
---|---|
Stability | provisional |
Portability | portable (depends on ghc) |
Safe Haskell | None |
Language | Haskell98 |
Example exercises from the Digital Mathematics Environment (DWO)
Documentation
ineqLin1 :: [[Inequality Expr]] Source #
ineqQuad1 :: [[Inequality Expr]] Source #
ineqQuad2 :: [Inequality Expr] Source #
extraIneqQuad :: [Inequality Expr] Source #
ineqHigh :: [Inequality Expr] Source #