ideas v1.6 Release Notes

Release Date: 2017-02-04 // almost 7 years ago
  • 🔄 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

Previous changes from v1.5

  • 🔄 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