SATySFi Version 0.0.4

see CHANGELOG.md for changes.

SATySFi Version 0.0.3

v0.0.3

change version number in 'main.ml'

SATySFi Version 0.0.2

Major difference from v0.0.1:

• A new operational semantics about optional arguments is introduced
• The type inference algorithm is made more robust as to handling records and optional arguments
• The order of the evaluation for function applications performed by VM is fixed

SATySFi Version 0.0.1

Initial version

Macrodown Version 1.00 zeta

vm1.0z

the last tag for old-style Macrodown

Macrodown Version 1.00 gamma

Macrodown Version 1.00 gamma.

Thanks to @doraTeX, the binary executable file for Mac was released. (origin: https://t.co/3s5XfymPXp)

Macrodown Version 1.00 beta (test release)

Version 1.00 beta (test release)

First test release after the large refactoring. Although the documentation of its specification has been left incompleted, distrubuted zip files contain some small samples.

Binary executable file for Mac OS X (>= 10.6) was made by @doraTeX (https://twitter.com/doraTeX/status/617553585727901696).

Macrodown Version 0.9

First release of binary Macrodown.