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 #