Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
hw-sem.pdf | 2024-11-03 15:31 | 260K | ||
LambdaTerm.pm | 2020-11-23 02:42 | 30K | ||
buildattrs | 2024-10-21 21:32 | 19K | ||
english-fullquant.gra | 2024-10-21 21:32 | 18K | ||
english.gra | 2024-10-21 21:37 | 12K | ||
arith.gra | 2024-10-21 21:32 | 4.0K | ||
arith-typed.gra | 2024-10-21 21:41 | 2.1K | ||
delattrs | 2020-11-23 02:42 | 1.8K | ||
simplify | 2020-11-23 02:42 | 1.1K | ||
arith-infix.gra | 2024-10-21 21:32 | 1.1K | ||
english.sen | 2023-11-03 05:44 | 821 | ||
parseattrs | 2023-11-03 05:51 | 726 | ||
checkvocab | 2020-11-23 02:42 | 602 | ||
arith-typed.gr | 2023-10-28 12:16 | 376 | ||
simplify.pl | 2020-11-23 02:42 | 345 | ||
arith-typed.sen | 2020-11-23 02:42 | 95 | ||
arith.sen | 2020-11-23 02:42 | 52 | ||