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

v0.6.8
Compare
Choose a tag to compare
@banacorn banacorn released this 30 Jan 13:45
· 1174 commits to master since this release
v0.6.8
551cc1f
  • Fix hole index parsing and display
  • Fix agda-mode:solve-constraints unable to fill out solutions
Assets 2
Loading