Home Esplora Aiuto
Accedi
caryoscelus
/
agda
Segui 1
Vota 0
Forka 0
File Problemi 0 Pull Requests 0 Wiki
Albero (Tree): 9c190b6ebc
Rami (Branch) Tag
agda
/
doc
/
release-notes
/
2.4.0.1.md

2.4.0.1.md 228 B
Cronologia Originale

Release notes for Agda 2 version 2.4.0.1

  • The option --compile-no-main has been renamed to --no-main.

  • COMPILED_DATA pragmas can now be given for records.

  • Various bug fixes.