[Agda] Dependent Types at Work

Tristan Wibberley tristan at wibberley.org
Fri Mar 21 15:25:33 CET 2008


On Fri, 2008-03-21 at 14:17 +0000, Tristan Wibberley wrote:
  Some stuff about what he really wants to achieve

I got a response off-list which I think probably educates me on this technique.

-- 
Tristan Wibberley

Any opinion expressed is mine (or else I'm playing devils advocate for
the sake of a good argument). My employer had nothing to do with this
communication.



More information about the Agda mailing list