A Hoare-Logic Style Refinement Types Formalisation
Primary LanguageAgda
No issues in this repository yet.