You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
An extremely useful keybinding from the Atom or Emacs mode for Agda is jumping to the next or previous hole. This prevents having to click on a hole with the mouse or navigate to it manually.
The text was updated successfully, but these errors were encountered:
An extremely useful keybinding from the Atom or Emacs mode for Agda is jumping to the next or previous hole. This prevents having to click on a hole with the mouse or navigate to it manually.
The text was updated successfully, but these errors were encountered: