Name Last modified Size Description Parent Directory - Applicative.php 2023-12-04 13:34 221 ConstApplicative.php 2023-12-04 13:34 195 Functor.php 2023-12-04 13:34 409 Pointed.php 2023-12-04 13:34 457