This site does not allow itself to be embedded. You can still read it on the original site — the toolbar below keeps your place in the directory.
Jesper Cockx - Hack your type theory with rewrite rules Jesper Cockx Home Blog Papers Talks Teaching Links Hack your type theory with rewrite rules Posted by Jesper on October 21, 2019 This is the first in a series of three blog posts on rewrite rules in Agda. In contrast to my previous post , this post will decidedly non-introductory . Instead, we will have some fun by doing unsafe things and…
Comments
Nothing yet. Say the first thing.
Sign in to join the conversation.