log tests/optionM.ur

age author description
2011-08-19 Adam Chlipala Basis.mkMonad