Skip to content

Abstracts.2018.Rewrite

Jump to bottom
Fabian edited this page Jan 28, 2021 · 1 revision

How to Tame Your Rewrite Rules

by Jesper Cockx

Abstract

I will give a talk on user-defined rewrite rules in Agda, and the work I'm doing to make them safer to use. This talk is based on our TYPES abstract for this year [1].

References

  1. ^ Jesper Cockx, Nicolas Tabareau, and Théo Winterhalter. 2018. How to Tame your Rewrite Rules
Clone this wiki locally