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
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 Fri Sep 13 14:38:06 UTC 2019
Distributions NixOS:1.1
Downloads 129 total (23 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user [build log]
All reported builds failed as of 2019-09-13 [all 2 reports]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees