log

age author description
Sat, 30 May 2009 14:44:29 -0400 Adam Chlipala Defer pattern-matching exhaustiveness checks and normalize pattern types more thoroughly