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

v0.6.9

banacorn released this 30 Jan 13:46

· 1170 commits to master since this release

2528fea

Fix unable to input certain symbols before agda-mode:load

Assets 2

Provide feedback