diff options
| author | tslil <tslil@posteo.de> | 2026-05-07 15:33:30 +0100 |
|---|---|---|
| committer | tslil <tslil@posteo.de> | 2026-05-07 16:19:27 +0100 |
| commit | 77d637846be1eb0d140612731c80ca7a6cf1bb29 (patch) | |
| tree | b5adb44f73a59644e54e7a21d7fbe9160f70b0bb /examples/equality.makkai | |
| parent | 8d9c0e5868b2a7fa22080f814357dcda69a10057 (diff) | |
fix failure to add hypotheticals for instances of compound signatures
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>, |