An Agda formalization of some of what we talked about during the Formal interview.
Updated 2024-09-24 18:46:42 -07:00
Attempts at formalizing static program analysis techniques in Agda.
Updated 2024-11-16 15:16:08 -08:00