Attempts at formalizing static program analysis techniques in Agda.

Danila Fedorin c2bc1c5421 Move the implementation details into a private module ... Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>		2023-07-24 23:12:04 -07:00
Lattice.agda	Prove that maps are functional assuming uniqueness	2023-07-23 17:50:25 -07:00
Map.agda	Move the implementation details into a private module	2023-07-24 23:12:04 -07:00
NatMap.agda	Add note to self	2023-07-14 22:45:17 -07:00