• Booleans.agda
• Choice.agda
• DP.agda
• EmptySet.agda
• Equality.agda
• Logic.agda
• LogicalFacts.agda
• dp-preprint.pdf
• lablunch-birmingham-summary-of-notions.pdf
• lablunch-birmingham.pdf