Woo! Agda 2.6.2 is out, which means we can have our first stable release for Schmitty! https://github.com/wenkokke/schmitty/releases/tag/v1.0.0
RT @ulfnorell@twitter.com
Agda 2.6.2 has been released!
Some highlights:
- System calls at type-checking time (by @wenkokke@twitter.com) allowing external prover integration. See https://github.com/wenkokke/schmitty for SMT bindings.
- Set can be renamed π
Hackage: https://hackage.haskell.org/package/Agda
Release notes: https://github.com/agda/agda/blob/master/doc/release-notes/2.6.2.md
π¦π: https://twitter.com/ulfnorell/status/1406165979680362500