[LAA] MIDA 0.4.0 Released

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