Programming and Proving in Agda

Table of Contents

Bootstrapping

You can follow Getting Started - PLFA but ignore all the PLFA-specific stuff.

Course Materials

Agda tutorial session <2021-11-19 Fri> .

Readable HTML Go
Download source code Download

Further Reading

  • B522 Spring 2020 by Prof. Jeremy Siek ( link )
  • PLFA ( link )
  • Learn You an Agda ( link )
  • Agda tutorial by Uma Zalakain ( link )
  • A list of tutorials on Agda's homepage ( link )

Author: Tianyu Chen

Created: 2021-11-19 Fri 13:56