one witness type is enough
Next
: Thierry Coquand's pattern matching
Prev
: witness types
index
of these slides
Conor's home page
Last modified: Tue Feb 1 15:00:57 GMT 2000