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

v0.5.0
Compare
Choose a tag to compare
@banacorn banacorn released this 30 Jan 13:40
· 1595 commits to master since this release
v0.5.0
2beb9f6
  • Fix #29
  • Fix hole parsing. Bangs '!' and curly brackets '}' are allowed inside a hole now
  • Default to trim spaces of an expression in a hole when giving (This is not the case in Agda 2.5.1)
Assets 2
Loading