diff options
Diffstat (limited to 'examples/equality.makkai')
| -rw-r--r-- | examples/equality.makkai | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/equality.makkai b/examples/equality.makkai index 86b81ae..294dafc 100644 --- a/examples/equality.makkai +++ b/examples/equality.makkai @@ -54,7 +54,7 @@ let signature NeqParticular = theory { Neq :: (r: set-of((SE .Relation) (element-of(A)) (element-of(B)))) -> <Empty> } -let instance zeroNeqOne :: NeqParticular = { +let instance zeroNeqOneAgain :: NeqParticular = { .SE = eqTwo, .A = <zero. pt>, .B = <one. pt>, |