Index of /~nad/repos/parser-combinators.code/TotalParserCombinators/Laws

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory   -  
[   ]AdditiveMonoid.agda 12-May-2011 16:12 3.0K 
[   ]ApplicativeFunctor.agda18-May-2011 00:16 11K 
[   ]Derivative.agda 12-May-2011 16:12 7.8K 
[   ]KleeneAlgebra.agda 04-Oct-2011 10:24 4.9K 
[   ]Monad.agda 12-May-2011 16:12 11K 
[   ]ReturnStar.agda 31-Aug-2017 14:30 4.2K