A mechanization of "Pattern Matching with Typed Holes"
Primary LanguageAgda
No issues in this repository yet.