Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Exam1.agda | 2019-05-27 10:35 | 3.9K | ||
gy13.agda | 2019-05-14 19:23 | 2.8K | ||
gy6.agda | 2019-03-19 19:24 | 4.7K | ||
gy5.agda | 2019-03-12 19:22 | 2.8K | ||
gy4.agda | 2019-03-05 19:19 | 1.4K | ||
gy3.agda | 2019-02-26 19:22 | 1.7K | ||
gy2.agda | 2019-02-19 19:19 | 2.1K | ||