Merge pull request #57 from spwhitt/patch-1
Fix typo irrerflexive -> irreflexive
This commit is contained in:
commit
5c561d35c4
1 changed files with 1 additions and 1 deletions
|
@ -158,7 +158,7 @@ the other.
|
|||
|
||||
|
||||
|
||||
#### Exercise `<-irrerflexive`
|
||||
#### Exercise `<-irreflexive`
|
||||
|
||||
Using negation, show that
|
||||
[strict inequality]({{ site.baseurl }}{% link out/plfa/Relations.md %}/#strict-inequality)
|
||||
|
|
Loading…
Reference in a new issue