Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
BigStep.agda | 2009-01-06 20:15 | 3.4K | ||
BigStep/ | 2009-01-06 20:15 | - | ||
Equivalence.agda | 2009-01-06 20:15 | 17K | ||
SmallStep.agda | 2009-01-06 20:15 | 9.2K | ||
SmallStep/ | 2009-01-06 20:15 | - | ||
Equivalence/ | 2009-01-06 20:15 | - | ||