[LAA] MIDA 0.4.0 Released

[Mark Karpov]

I'm happy to announce MIDA 0.4.0.

Improvements:

* fixed bug in batch mode;

* added tab completion based on contents of current input line,
  including completion of file names for some commands;

* detection and rejection of recursive definitions;

* improved interface;

* wholly refactored (and sometimes rewritten) code (it's finally
  sufficiently elegant);

* more intuitive logic of evaluation in some corner cases;

* optional displaying of simplified principles (for debug and
  educational purposes);

* ability to set tempo and program for preview;

* improved documentation.

GitHub repository:  https://github.com/mrkkrp/mida

Where to download:  https://github.com/mrkkrp/mida/releases/tag/0.4.0

Documentation:      https://mrkkrp.github.io/mida/

Regards,

-- Mark Karpov