[Agda] uniform normalization

Andrew Pitts Andrew.Pitts at cl.cam.ac.uk
Mon Apr 11 21:55:32 CEST 2016


On 11 April 2016 at 20:14, Andreas Abel <andreas.abel at ifi.lmu.de> wrote:
> You could implement a tactic using Agda's new tactic language that does such
> routine jobs for you.

Where can one find out about that?

Andy


More information about the Agda mailing list