2 ms·

for Emacs users see: https://agda.readthedocs.io/en/latest/tools/emacs-mode.html https://agda.readthedocs.io/en/latest/tools/emacs-mode.html