Epigram

Generic Programming with Dependent Types

Below you will find a number of files relating to the code and exercises contained within the Spring School for Data-type Generic Programming lecture notes Generic Programming with Dependent Types .

• Section3

  • Code for section 3

• Section4

  • Code for Section 4.1
  • Code for Section 4.2
  • Code for Section 4.3 and 4.4

• Section5

  • Code for Section 5.1
  • Code for Section 5.2 to 5.6

• Section6

  • Code for Section 6