This repository was archived by the owner on Feb 26, 2021. It is now read-only.

v0.3.5

banacorn released this 30 Jan 13:32

· 1772 commits to master since this release

dfb6845

Fix when ctrl-c ctrl-w failed to query current goal
Jump to a goal by clicking on it's index
Postpone package activation until agda-mode:load for better editor startup time

Assets 2