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 2053 total (19 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your 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