![[ICO]](/icons/blank.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| usecases.html | 2024-04-09 23:40 | 41K |
| unlifting.html | 2024-04-09 23:40 | 47K |
| type-details.html | 2024-04-09 23:40 | 47K |
| terminology.html | 2024-04-09 23:40 | 40K |
| syntax-summary.html | 2024-04-09 23:40 | 57K |
| setup.html | 2024-04-09 23:40 | 42K |
| pattern-details.html | 2024-04-09 23:40 | 43K |
| lifting.html | 2024-04-09 23:40 | 52K |
| intro.html | 2024-04-09 23:40 | 47K |
| hygiene.html | 2024-04-09 23:40 | 46K |
| future.html | 2024-04-09 23:40 | 38K |
| expression-details.html | 2024-04-09 23:40 | 72K |
| definition-details.html | 2024-04-09 23:40 | 60K |