Staff

Schedule

Lectures and tutorials take place Fridays and some Thursdays in 548L.

  • 13.00–14.30pm Lecture
  • 14.30–16.00pm Tutorial
Fri 29 MarNaturals
Fri 5 AprInduction & Relations
Thu 11 AprRelations
Fri 19 Apr(Miami)
Fri 26 AprEquality & Isomorphism & Connectives
Fri 3 MayNegation & Quantifiers & Decidable & Lists
Fri 10 May(Melbourne)
Fri 17 May(Sydney)
Fri 24 MayLambda & Properties
Fri 31 May(Padova)
Fri 7 JuneDeBruijn & More
Fri 14 June(Buenos Aires)
Fri 21 JuneInference & Untyped
Fri 28 JunePropositions as Types & mock exam
Fri 5 Julyexam

Assignments

For instructions on how to set up Agda for PLFA see Getting Started.

Submit assignments by email to wadler@inf.ed.ac.uk. Attach a single file named Assignment1.lagda.md or the like. Include your name and email in the submitted file.