Release notes for Agda version 2.5.4.1
Installation and infrastructure
- Generated the interface file for the
Sigma.agda built-in when
installing Agda
[Issue #3128].
Emacs mode
- Light highlighting is no longer applied continuously, but only when
the file is saved [Issue
#3119].
