Name Last modified Size Description Parent Directory - Applicative.php 2024-05-19 19:26 16K ConstApplicative.php 2024-05-19 19:26 16K Functor.php 2024-05-19 19:26 16K Pointed.php 2024-05-19 19:26 16K