log

age author description
Sun, 10 Jan 2010 13:44:22 -0500 Adam Chlipala Reduce concatenations of the empty record; unpoly non-recursive functions