| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| Pointed.php.sorry | 2026-05-01 00:58 | 2.7K | ||
| Functor.php.sorry | 2026-05-01 00:58 | 2.7K | ||
| IdentityFunctor.php...> | 2026-05-01 00:58 | 2.5K | ||
| ConstFunctor.php.sorry | 2026-05-01 00:58 | 2.5K | ||
| Applicative.php.sorry | 2026-05-01 00:58 | 2.5K | ||
| ConstApplicative.php..> | 2026-05-01 00:58 | 2.5K | ||