<div dir="ltr"><div>Hi Agda folks,</div><div><br></div><div>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 <a href="https://jesper.sikanda.be/posts/hack-your-type-theory.html">https://jesper.sikanda.be/posts/hack-your-type-theory.html</a>. Any comments are welcome here on the mailing list as usual.</div><div><br></div><div>Cheers,</div><div>Jesper<br></div></div>