![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| L/ | 2023-02-05 22:32 | - | |
| ambiguous_pattern_variables/ | 2023-02-05 22:32 | - | |
| boxroot/ | 2024-05-10 14:00 | - | |
| canonical-forms/ | 2023-02-05 22:32 | - | |
| consistency/ | 2023-02-05 22:32 | - | |
| constraints/ | 2021-05-29 09:45 | - | |
| constructor-unboxing/ | 2024-05-10 14:00 | - | |
| fabul/ | 2023-02-05 22:32 | - | |
| mlts/ | 2023-02-05 22:32 | - | |
| mutable-patterns/ | 2024-09-06 10:47 | - | |
| norm_by_rea/ | 2023-02-05 22:32 | - | |
| open_closure_types/ | 2023-02-05 22:32 | - | |
| pattern-compiler-validation/ | 2020-07-24 17:12 | - | |
| replay/ | 2023-02-05 22:32 | - | |
| shapes/ | 2023-02-05 22:32 | - | |
| sourir/ | 2023-02-05 22:32 | - | |
| store/ | 2025-01-27 00:47 | - | |
| unique_inhabitants/ | 2023-02-05 22:32 | - | |
| variance_gadts/ | 2023-02-05 22:32 | - | |