![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| trees_that_grow/ | 2021-09-17 05:06 | - | |
| trees_that_grow.html | 2021-09-16 12:28 | 20K | |
| higher_inductive_types_in/ | 2021-09-17 05:07 | - | |
| higher_inductive_types_in.html | 2021-09-16 12:28 | 20K | |
| functional_programming_past_present/ | 2021-09-19 07:42 | - | |
| functional_programming_past_present.html | 2021-09-16 12:28 | 14K | |
| first_class_functions_in/ | 2021-09-17 05:08 | - | |
| first_class_functions_in.html | 2021-09-16 12:28 | 20K | |
| abstract_data_types_without/ | 2021-09-17 05:05 | - | |
| abstract_data_types_without.html | 2021-09-16 12:28 | 19K | |
| a_logical_reconstruction_of/ | 2021-09-17 05:05 | - | |
| a_logical_reconstruction_of.html | 2021-09-16 12:28 | 19K | |
| a_general_method_for/ | 2021-09-17 05:07 | - | |
| a_general_method_for.html | 2021-09-16 12:28 | 19K | |
| F.4.html | 2021-09-19 07:42 | 1.4K | |