log lib/ur/monad.urs

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
2010-03-02 Adam Chlipala Monad.foldMapR
2010-02-28 Adam Chlipala Changing foldRX to mapX
2009-12-26 Adam Chlipala Make summary unification more conservative; infer implicit arguments after applications
2009-09-15 Adam Chlipala Summary row with aggregates
2009-09-08 Adam Chlipala dragList demo working, save for Gecko load delay and highlighting
2009-08-25 Adam Chlipala grid1 compiles but gets stuck in JS
2009-08-09 Adam Chlipala Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference
2009-07-19 Adam Chlipala Working on Grid; have gone from one dynamic table bizareness to another
2009-06-02 Adam Chlipala Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; Monad library module