Popular repositories Loading

1. agda-lecture-notes agda-lecture-notes Public

   Agda lecture notes for the Functional Programming course at TU Delft

   TeX 128 16

2. agda-core agda-core Public

   A work-in-progress core language for Agda, in Agda

   Agda 58 3

3. ataca ataca Public

   A TACtic library for Agda

   Agda 50 4

4. agda2scheme agda2scheme Public

   Compiler backend for generating Scheme code

   Haskell 27 3

5. popl19-tutorial popl19-tutorial Public

   Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais

   HTML 26 1

6. ohrid19-agda ohrid19-agda Public

   Material for the Agda course at the EUTYPES Summer School '19 in Ohrid

   HTML 23 4