log

age author description
Tue, 02 Mar 2010 10:33:49 -0500 Adam Chlipala Monad.foldMapR
Tue, 02 Mar 2010 09:46:17 -0500 Adam Chlipala String.isPrefix