# ideas-math-types: Common types for mathematical domain reasoners

This package provides common datatypes and utility functions for
mathematical domain reasoners that are based on the `ideas`

software
package. The package is currently used by our logic tutors (dnf/cnf
normal forms, equational proofs, axiomatic proofs, inductive proofs),
the statistics tutor that provides feedback on the structure of
hypothesis tests, and the analyzers of the Advise-Me project. Contact
the package maintainers for further information about the package.

Versions [faq] | 1.0, 1.1 |
---|---|

Change log | CHANGELOG.txt |

Dependencies | base (>=4.8 && <5), containers, ideas (>=1.6), parsec, QuickCheck (>=2.8), semigroups (==0.18.*) [details] |

License | Apache-2.0 |

Copyright | (c) 2019 |

Author | Bastiaan Heeren, Alex Gerdes, Johan Jeuring, Josje Lodder |

Maintainer | bastiaan.heeren@ou.nl |

Category | Education |

Home page | http://ideas.cs.uu.nl/ |

Source repo | head: svn checkout https://ideastest.science.uu.nl/svn/ideas/Tutors/math-types |

Uploaded | by BastiaanHeeren at Wed Oct 30 07:44:16 UTC 2019 |

Distributions | NixOS:1.1 |

Downloads | 136 total (23 in the last 30 days) |

Rating | (no votes yet) [estimated by Bayesian average] |

Your Rating | |

Status | Docs uploaded by user [build log] All reported builds failed as of 2019-10-30 [all 2 reports] |

## Downloads

- ideas-math-types-1.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)