0.37 changelog

[505000677]

New features:

• Identifiers can begin with - now.
• No-arg constructor pattern matching, when the constructor is out-of-scope, will be understood as variable patterns. This is even more harmful in constructor patterns. There will be a warning for this now.
• Subtyping from path to pi is now correctly implemented.
• The library now has more stuff: maybe, more list functions, etc.
• You can now use --datetime-front-matter and --datetime-front-matter-key to insert date time info in the front matter of markdown output. If there is no front matter, Aya will make one, and if there is, Aya will insert into it.
• SIT supports elim.
• Patterns shadowing telescope will no longer trigger warnings.

Bugs fixed

• JitCon.selfTele was wrong.
• match type checking.
• EqTerm type checking now correctly handles ErrorTerm.
• If con patterns have an error, Aya will no longer raise NPE.
• Using implicit pattern with elim will no longer crash (but report error instead).

Internal changes:

• Use markdown doc comments in a few places. Now gradle javadoc should no longer throw those warnings.
• Move some code from pretty to tools. Now code coverage test will check tools too, and some unused classes are removed now.
• registerLibrary returns registered libraries. This is so the IDE can watch file changes correctly, and changing non-project files will not cause a reload.
• Negative tests are now checked using git diff rather than assertEquals. This generates much more readable error message.

[ice1000]

Done