Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Booleans.agda | 24-Nov-2009 11:48 | 2.1K | ||
Choice.agda | 24-Nov-2009 11:48 | 293 | ||
DP.agda | 24-Nov-2009 11:48 | 7.0K | ||
EmptySet.agda | 24-Nov-2009 11:48 | 330 | ||
Equality.agda | 24-Nov-2009 11:48 | 428 | ||
Logic.agda | 24-Nov-2009 11:48 | 1.4K | ||
LogicalFacts.agda | 24-Nov-2009 11:48 | 871 | ||
readme | 25-Nov-2009 11:38 | 231 | ||
lablunch-birmingham-summary-of-notions.pdf | 26-Jan-2010 13:04 | 23K | ||
lablunch-birmingham.pdf | 26-Jan-2010 13:04 | 272K | ||
dp-preprint.pdf | 29-Jan-2010 21:17 | 164K | ||