Attempts at formalizing static program analysis techniques in Agda.
Updated 2024-04-20 21:42:53 -07:00