This mode will echo the unicode typing method in Emacs minibuffer
Simply invoke agda-symbol-helper-mode in M-x or hook after agda2-mode by
(add-hook 'agda2-mode-hook 'agda-symbol-helper-mode).
Find the typing method of unicode symbols in Agda mode
This mode will echo the unicode typing method in Emacs minibuffer
Simply invoke agda-symbol-helper-mode in M-x or hook after agda2-mode by
(add-hook 'agda2-mode-hook 'agda-symbol-helper-mode).
Find the typing method of unicode symbols in Agda mode
MIT License