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.

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
Category Education
Home page
Source repo head: svn checkout
Uploaded by BastiaanHeeren at 2019-10-30T07:44:16Z
Distributions NixOS:1.1
Downloads 587 total (7 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user [build log]
All reported builds failed as of 2019-10-30 [all 2 reports]


[Index] [Quick Jump]


Maintainer's Corner

For package maintainers and hackage trustees