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