/Provably_Correct_Finite_Maps

Provably Correct Key-Value Maps in Agda

Primary LanguageAgda

Masters Thesis: Provably Correct Finite Maps