Skip to content

Releases: Zekt/agda

Nightly Build (02cd13a@master)

28 Jun 07:14
Compare
Choose a tag to compare
Allow several BUILTIN REWRITE relations.

This adds BuiltinRewriteRelations as a new Builtin form.

Also:
- remove unused primRewrite