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

[ apache, education, library ] [ Propose Tags ]

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.


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


Versions [RSS] 1.0, 1.1
Change log CHANGELOG.txt
Dependencies base (>=4.8 && <5), containers, ideas (>=1.6), parsec, QuickCheck (>=2.8), semigroups (>=0.18 && <0.19) [details]
License Apache-2.0
Copyright (c) 2019
Author Bastiaan Heeren, Alex Gerdes, Johan Jeuring, Josje Lodder
Category Education
Home page
Source repo head: svn checkout
Uploaded by BastiaanHeeren at 2019-10-30T07:44:16Z
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 884 total (6 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]