Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
foldr_&_foldl.txt | 2021-04-15 12:22 | 7.5K | ||
map-filter-fold.sml | 2021-04-16 02:37 | 3.5K | ||
derive-foldl-and-foldr-from-the-same-type-signature-part-2.txt | 2021-04-16 02:29 | 1.9K | ||
derive-foldl-and-foldr-from-the-same-type-signature.txt | 2021-04-16 02:37 | 1.6K | ||
ML-repl-session.txt | 2021-04-15 14:10 | 1.1K | ||
notes.txt | 2021-04-15 13:52 | 135 | ||