Attempts at formalizing static program analysis techniques in Agda.
Updated 2024-02-19 22:58:11 -08:00