Name Last modified Size Description Parent Directory - Applicative.php 2023-12-16 14:31 221 ConstApplicative.php 2023-12-16 14:31 195 Functor.php 2023-12-16 14:31 409 Pointed.php 2023-12-16 14:31 457