[Agda] Coinductive families

Anton Setzer A.G.Setzer at swansea.ac.uk
Tue Oct 5 01:36:12 CEST 2010



The slides of my talk given at AIM in Nottingham is available from
http://www.cs.swan.ac.uk/~csetzer/slides/index.html

(first item). It contains my idea how to define coalgebras via
nested destructor patterns and some suggestions for how to
deal with it syntactically.

Anton



More information about the Agda mailing list