ArendArend 1.10.0 released Language updates: Bug fixes and minor improvements Plugin updates: Keyword documentation Improved change signature refactoring Improved move re... Arend 1.9.0 released Language updates: Properties in \Sigma-types Definition parameters are visible in the \where block Global level declarations Infix patterns Axiom... Arend 1.8.0 released Language updates: Improved performance I
