Name Last modified Size Description Parent Directory - Applicative.php 2024-08-20 20:10 16K ConstApplicative.php 2024-08-20 20:10 16K Functor.php 2024-08-20 20:10 16K Pointed.php 2024-08-20 20:10 16K