The ideas package

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain]

Warnings:

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!).

Properties

Versions0.5.8, 0.6, 0.7, 1.0, 1.1, 1.2, 1.3, 1.3.1, 1.4, 1.5, 1.6, 1.6
Change logCHANGELOG.txt
Dependenciesbase (>=4.8 && <5), cgi (>=3001.3.0.0), containers, Diff, directory, filepath, HDBC, HDBC-sqlite3, parsec, QuickCheck (>=2.8), random, time, uniplate, wl-pprint [details]
LicenseApache-2.0
Copyright(c) 2016
AuthorBastiaan Heeren, Alex Gerdes, Johan Jeuring
Maintainerbastiaan.heeren@ou.nl
CategoryEducation
Home pagehttp://ideas.cs.uu.nl/www/
Source repositoryhead: git clone https://github.com/ideas-edu/ideas.git
UploadedWed Dec 21 12:30:13 UTC 2016 by BastiaanHeeren

Modules

[Index]

Flags

NameDescriptionDefaultType
loggingenable support for logging interactions to a sqlite3 databaseDisabledAutomatic

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

Downloads

Maintainers' corner

For package maintainers and hackage trustees