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.agda23-Jan-2018 14:25 11K 
[   ]Derivative.agda 23-Jan-2018 14:25 7.8K 
[   ]KleeneAlgebra.agda 23-Jan-2018 14:25 4.8K 
[   ]Monad.agda 23-Jan-2018 14:25 11K 
[   ]ReturnStar.agda 23-Jan-2018 14:25 4.2K