[Agda] New blog post: Hack your type theory with rewrite rules

[Jesper Cockx]

Hi Agda folks,

I have another blog post for you on extending Agda with rewrite rules, with
no less than six examples of how they can be used. You can read it at
https://jesper.sikanda.be/posts/hack-your-type-theory.html. Any comments
are welcome here on the mailing list as usual.

Cheers,
Jesper
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20191021/7f539f11/attachment.html>