Ord laws lemmas and functions

UlfNorell / agda-prelude

Programming library for Agda

MIT License

120 stars 24 forks source link

Closed t-more closed 4 years ago

t-more commented 4 years ago

Added a some more operators for order (for utility purposes) and lemmas about the relationship laws.

(screwed up the git slightly here, pull "Chage: ==-reflexive location. Add: Basic boolean lemmas" first)

UlfNorell commented 4 years ago

Once #72 is merged you can rebase this branch on master to get a clean diff.

t-more commented 4 years ago

Ping

UlfNorell commented 4 years ago

Looks like something went wrong in the rebase. Running git rebase origin/master (or git rebase 3a1058c) should fix it.