Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Type.agda | 2017-10-13 09:59 | 205 | ||
types-lecture.agda-lib | 2017-10-13 09:59 | 52 | ||
Term.agda | 2017-10-13 10:00 | 1.3K | ||
TypeCheck.agda | 2017-10-13 10:03 | 2.5K | ||
Main.agda | 2017-10-13 10:07 | 1.0K | ||
test.lam | 2017-10-13 10:09 | 399 | ||
thierry.lam | 2017-10-13 10:09 | 774 | ||
Term/ | 2017-10-18 10:17 | - | ||