![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/p.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| english-fullquant.gra | 2025-10-27 18:16 | 18K | |
| hw-sem.pdf | 2025-10-09 09:31 | 276K | |
| english.gra | 2025-10-09 09:28 | 12K | |
| arith-typed.gra | 2024-10-21 21:41 | 2.1K | |
| buildattrs | 2024-10-21 21:32 | 19K | |
| arith.gra | 2024-10-21 21:32 | 4.0K | |
| arith-infix.gra | 2024-10-21 21:32 | 1.1K | |
| parseattrs | 2023-11-03 05:51 | 726 | |
| english.sen | 2023-11-03 05:44 | 821 | |
| arith-typed.gr | 2023-10-28 12:16 | 376 | |
| simplify.pl | 2020-11-23 02:42 | 345 | |
| simplify | 2020-11-23 02:42 | 1.1K | |
| delattrs | 2020-11-23 02:42 | 1.8K | |
| arith-typed.sen | 2020-11-23 02:42 | 95 | |
| LambdaTerm.pm | 2020-11-23 02:42 | 30K | |
| checkvocab | 2020-11-23 02:42 | 602 | |
| arith.sen | 2020-11-23 02:42 | 52 | |