diff options
Diffstat (limited to 'src/main.rs')
| -rw-r--r-- | src/main.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/main.rs b/src/main.rs index a40eb87..94a9428 100644 --- a/src/main.rs +++ b/src/main.rs @@ -36,7 +36,7 @@ let signature OneSet = theory { F :: Set } let signature T = theory { A :: Set, B :: (x : set-of({ .F = A } .F)) -> Set, - C :: (x : set-of(A)) (b : set-of(B x)) -> Set + C :: (x : set-of(set-of(set-of(A) :: Set) :: Set)) (b : set-of(B x)) -> Set } let signature Graph = theory { @@ -45,8 +45,8 @@ let signature Graph = theory { } let instance natPoset :: Graph = { - .Node = Nat, - .Edge = for (s : Nat) (t : Nat), Bool + .Node = Nat :: Set, + .Edge = for (s : Nat) (t : Nat), Bool :: Set } let element node : set-of(natPoset .Node) = 7 |