Reading through the book Certainty By Construction
Primary LanguageAgda
Reading through Sandy Maguire's Certainty by Construction