Releases: Zekt/agda
Releases · Zekt/agda
Nightly Build (02cd13a@master)
Allow several BUILTIN REWRITE relations. This adds BuiltinRewriteRelations as a new Builtin form. Also: - remove unused primRewrite
Allow several BUILTIN REWRITE relations. This adds BuiltinRewriteRelations as a new Builtin form. Also: - remove unused primRewrite