Pinned Loading

1. hazelgrove/agda-popl17 hazelgrove/agda-popl17 Public

   Mechanization of Hazelnut, as submitted to POPL 2017

   Agda 16 1

2. hazelgrove/hazelnut-dynamics-agda hazelgrove/hazelnut-dynamics-agda Public

   mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics

   Agda 21 3

3. hazelgrove/obt2017 hazelgrove/obt2017 Public

   submission to OBT2017

   TeX

4. agdademo agdademo Public

   "Proving Theorems About Functional Programs" code and patter

   Agda