All Versions
Latest Version
Avg Release Cycle
97 days
Latest Release
2577 days ago

Changelog History

  • v1.6 Changes

    February 04, 2017

    ๐Ÿ”„ Changelog ideas-1.5 => ideas.1.6

    • dynamic strategy combinator that uses the current object/term
    • more instances for IsTerm (Maybe, Bool, Map, Set)
    • exercise-specific properties (that can be parameterized over its type)
    • ๐Ÿ‘Œ support for encoding exercise terms in JSON (using an exercise property)
    • ๐Ÿ‘ basic support for Latex and MathJax (in html output)
    • extended 'apply' feedback service with buggy rules and restarts
    • redesigned (parameterized) transformations
    • reimplemented strategy combinator split, based on %>>
    • ๐Ÿ†• new function defaultMainWith, which takes options
    • โž• added 'onefinal' feedback service, which returns a final term in context
    • layered design for sub-directories: renaming/moving some modules
      (e.g. Ideas.Utils.Prelude)
    • Typeable constraint now properly encapsulated in Ref type
    • ๐Ÿ“š removing (static) documentation generation (unused feature)
    • removing Common.Algebra modules (now in the Math domain reasoner)
    • ๐Ÿ›  fixed escaping of characters in xml
    • ๐Ÿ›  fixed recognition of exercise IDs in ModeJSON
    • ๐Ÿ›  fixed processing of Null in EncoderJSON
    • ๐Ÿ›  fixed rule ordering in function ruleset
  • v1.5 Changes

    May 30, 2016

    ๐Ÿ”„ Changelog ideas-1.4 => ideas.1.5

    • โฌ†๏ธ upgrade to ghc-7.10
    • reintroducing dependency on standard cgi library
    • โž• adding missing instances for Term and ShowString
    • ๐Ÿ†• new option for JSON mode: exercise terms can be encoded in JSON
    • switched to QuickCheck's random number generator QCGen
    • ๐Ÿ‘€ requests can fix the random seed
    • โž• added Term to service types, encoders and decoders
    • JSON-Int can be used for decoded environments
    • ๐Ÿ†• new implementation for interleave and atomic prefix combinators (more lazy)
    • ๐Ÿ› bug fix: "no prefix" now handled by json decoder
  • v1.4

    November 05, 2015
  • v1.3

    November 05, 2015
  • v1.2

    October 08, 2015
  • v1.1

    October 08, 2015