Note that the repository version numbers do not directly correspond to the release numbers of either the Haskell or Scala releases. Haskell releases adhere to Haskell's Package Versioning Policy; Scala releases use the Semantic Versioning spec.
- Added
interpretations
in Haskell implementation. Only lighted tested at this point.
-
First version with Haskell: working implementation of a monad transformer for the JTMS and ATMS. The
interpretations
andexplain-node
functions of the ATMS are not yet translated, and are omitted from the module API. -
Promoting Scala release to 0.1.0. No significant additions, but it will be nice to distinguish new feature additions at 0.x.0 from patches and documentation additions at 0.x.y.
-
Documentation for both JTMS and ATMS.
-
Generator for large randomized ATMS examples.
-
Some tweaks to data structure selection based on rough profiling.
- Contains a mostly-working version of a standalone ATMS.
-
Separation of the standalone JTMS from (untranslated) JTMS+JTRE wrapper.
-
Further testing and debugging of the standalone JTMS.
-
Scaladoc documentation of the standalone JTMS.
-
There may be additional type parameters in later versions of the standalone JTMS.
-
-
First version containing this file.
Initial release
- Contains a mostly-working version of the standalone JTMS.