The ideas package

[ Tags: apache, education, gpl, library ] [ Propose Tags ]

Ideas (Interactive Domain-specific Exercise Assistants) is a joint research project between the Open University of the Netherlands and Utrecht University. The project's goal is to use software and compiler technology to build state-of-the-art components for intelligent tutoring systems (ITS) and learning environments. The ideas software package provides a generic framework for constructing the expert knowledge module (also known as a domain reasoner) for an ITS or learning environment. Domain knowledge is offered as a set of feedback services that are used by external tools such as the digital mathematical environment (DME), MathDox, and the Math-Bridge system. We have developed several domain reasoners based on this framework, including reasoners for mathematics, linear algebra, logic, learning Haskell (the Ask-Elle programming tutor) and evaluating Haskell expressions, and for practicing communication skills (the serious game Communicate!).


Versions 0.5.8, 0.6, 0.7, 1.0, 1.1, 1.2, 1.3, 1.3.1, 1.4, 1.5, 1.6
Change log CHANGELOG.txt
Dependencies base (>=4.8 && <5), cgi (>=3001.3.0.0), containers, Diff, directory, filepath, HDBC, HDBC-sqlite3, parsec, QuickCheck (>=2.8 && <2.10), random, time, uniplate, wl-pprint [details]
License Apache-2.0
Copyright (c) 2016
Author Bastiaan Heeren, Alex Gerdes, Johan Jeuring
Category Education
Home page
Source repo head: git clone
Uploaded Wed Dec 21 12:31:24 UTC 2016 by BastiaanHeeren
Updated Fri Mar 2 12:19:31 UTC 2018 by BastiaanHeeren to revision 1   [What is this?]
Distributions NixOS:1.6
Downloads 3399 total (64 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2016-12-21 [all 1 reports]
Hackage Matrix CI





enable support for logging interactions to a sqlite3 database


Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

For package maintainers and hackage trustees