log lib/ur/monad.ur

age author description
2010-10-19 Adam Chlipala Monad.appR3
2010-10-19 Adam Chlipala Monad.appR
2010-10-17 Adam Chlipala Simplify type of Monad.appR2
2010-05-16 Adam Chlipala Fix C-mangling of datatype names