search

UlfNorell / agda-prelude

Programming library for Agda
MIT License
120 stars 24 forks source link

Ord funcs and lemmas #75

Closed t-more closed 4 years ago

t-more commented 4 years ago

Fully remade ord branch since other turned into git soup

UlfNorell commented 4 years ago

Thanks