[Agda] New blog post: Hack your type theory with rewrite rules
Jesper Cockx
Jesper at sikanda.be
Wed Oct 30 17:58:44 CET 2019
Hello again,
The second part of my blog series on rewrite rules in Agda is now online:
https://jesper.sikanda.be/posts/rewriting-type-theory.html. This time I go
into the nitty-gritty details of how rewrite rules work and how they
interact with other features of Agda. Comments are very welcome as usual!
-- Jesper
On Mon, Oct 21, 2019 at 3:22 PM Jesper Cockx <Jesper at sikanda.be> wrote:
> 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/20191030/c684031a/attachment.html>
More information about the Agda
mailing list