The ideas package

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

ideas provides feedback services to intelligent tutoring systems such as the digital mathematical environment of the Freudenthal Institute, MathDox, and Activemath.

Properties

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
Dependencies array, base (>=4.2 && <5), bytestring, containers, Diff, directory, exceptions, filepath, mtl (==2.1.*), multipart, network (<2.6), old-locale, old-time, parsec, QuickCheck (>=2.4.1 && <2.7), random, time, uniplate, wl-pprint, xhtml [details]
License GPL
Copyright (c) 2015
Author Bastiaan Heeren, Alex Gerdes, Johan Jeuring
Maintainer bastiaan.heeren@ou.nl
Category Education
Home page http://ideas.cs.uu.nl/www/
Source repository head: svn checkout https://ideas.cs.uu.nl/svn/Feedback/trunk/
Uploaded Thu Apr 9 11:09:21 UTC 2015 by BastiaanHeeren
Distributions NixOS:1.6
Downloads 1999 total (23 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs not available [build log]
Last success reported on 2015-06-01 [all 6 reports]
Hackage Matrix CI

Modules

  • Ideas
    • Common
      • Algebra
        • Ideas.Common.Algebra.Boolean
        • Ideas.Common.Algebra.BooleanLaws
        • Ideas.Common.Algebra.Field
        • Ideas.Common.Algebra.FieldLaws
        • Ideas.Common.Algebra.Group
        • Ideas.Common.Algebra.GroupLaws
        • Ideas.Common.Algebra.Law
        • Ideas.Common.Algebra.SmartGroup
      • Ideas.Common.Classes
      • Ideas.Common.Context
      • Ideas.Common.Derivation
      • Ideas.Common.DerivationTree
      • Ideas.Common.Environment
      • Ideas.Common.Exercise
      • Ideas.Common.ExerciseTests
      • Ideas.Common.Id
      • Ideas.Common.Library
      • Ideas.Common.Predicate
      • Ideas.Common.Rewriting
        • Ideas.Common.Rewriting.AC
        • Ideas.Common.Rewriting.Confluence
        • Ideas.Common.Rewriting.Difference
        • Ideas.Common.Rewriting.RewriteRule
        • Ideas.Common.Rewriting.Substitution
        • Ideas.Common.Rewriting.Term
        • Ideas.Common.Rewriting.Unification
      • Ideas.Common.Rule
        • Ideas.Common.Rule.Abstract
        • Ideas.Common.Rule.EnvironmentMonad
        • Ideas.Common.Rule.Parameter
        • Ideas.Common.Rule.Recognizer
        • Ideas.Common.Rule.Transformation
      • Ideas.Common.Strategy
        • Ideas.Common.Strategy.Abstract
        • Ideas.Common.Strategy.Choice
        • Ideas.Common.Strategy.Combinators
        • Ideas.Common.Strategy.Configuration
        • Ideas.Common.Strategy.Core
        • Ideas.Common.Strategy.Derived
        • Ideas.Common.Strategy.Location
        • Ideas.Common.Strategy.Parsing
        • Ideas.Common.Strategy.Process
        • Ideas.Common.Strategy.Sequence
        • Ideas.Common.Strategy.Traversal
      • Traversal
        • Ideas.Common.Traversal.Iterator
        • Ideas.Common.Traversal.Navigator
        • Ideas.Common.Traversal.Tests
        • Ideas.Common.Traversal.Utils
      • Ideas.Common.Utils
        • Ideas.Common.Utils.QuickCheck
        • Ideas.Common.Utils.StringRef
        • Ideas.Common.Utils.TestSuite
        • Ideas.Common.Utils.Uniplate
      • Ideas.Common.View
    • Encoding
      • Ideas.Encoding.DecoderJSON
      • Ideas.Encoding.DecoderXML
      • Ideas.Encoding.Encoder
      • Ideas.Encoding.EncoderHTML
      • Ideas.Encoding.EncoderJSON
      • Ideas.Encoding.EncoderXML
      • Ideas.Encoding.Evaluator
      • Ideas.Encoding.LinkManager
      • Ideas.Encoding.ModeJSON
      • Ideas.Encoding.ModeXML
      • Ideas.Encoding.OpenMathSupport
      • Ideas.Encoding.RulePresenter
      • Ideas.Encoding.RulesInfo
      • Ideas.Encoding.StrategyInfo
    • Main
      • Ideas.Main.BlackBoxTests
      • Ideas.Main.Default
      • Ideas.Main.Documentation
      • Ideas.Main.LoggingDatabase
      • Ideas.Main.Options
      • Ideas.Main.Revision
    • Service
      • Ideas.Service.BasicServices
      • Ideas.Service.Diagnose
      • Ideas.Service.DomainReasoner
      • FeedbackScript
        • Ideas.Service.FeedbackScript.Analysis
        • Ideas.Service.FeedbackScript.Parser
        • Ideas.Service.FeedbackScript.Run
        • Ideas.Service.FeedbackScript.Syntax
      • Ideas.Service.FeedbackText
      • Ideas.Service.ProblemDecomposition
      • Ideas.Service.Request
      • Ideas.Service.ServiceList
      • Ideas.Service.State
      • Ideas.Service.Submit
      • Ideas.Service.Types
    • Text
      • Ideas.Text.HTML
      • Ideas.Text.JSON
      • OpenMath
        • Dictionary
          • Ideas.Text.OpenMath.Dictionary.Arith1
          • Ideas.Text.OpenMath.Dictionary.Calculus1
          • Ideas.Text.OpenMath.Dictionary.Fns1
          • Ideas.Text.OpenMath.Dictionary.Linalg2
          • Ideas.Text.OpenMath.Dictionary.List1
          • Ideas.Text.OpenMath.Dictionary.Logic1
          • Ideas.Text.OpenMath.Dictionary.Nums1
          • Ideas.Text.OpenMath.Dictionary.Quant1
          • Ideas.Text.OpenMath.Dictionary.Relation1
          • Ideas.Text.OpenMath.Dictionary.Transc1
        • Ideas.Text.OpenMath.FMP
        • Ideas.Text.OpenMath.Object
        • Ideas.Text.OpenMath.Symbol
        • Ideas.Text.OpenMath.Tests
      • Ideas.Text.Parsing
      • Ideas.Text.UTF8
      • Ideas.Text.XML
        • Ideas.Text.XML.Document
        • Ideas.Text.XML.Interface
        • Ideas.Text.XML.Parser
        • Ideas.Text.XML.Unicode

Downloads

Maintainer's Corner

For package maintainers and hackage trustees