From 87266db229c7f14527c85b06abcf074cf861f6f9 Mon Sep 17 00:00:00 2001 From: tslil Date: Wed, 29 Apr 2026 14:18:12 +0100 Subject: implement canonicalisation in case arms, work through first bit of app --- src/main.rs | 28 ++++++++++++++-------------- 1 file changed, 14 insertions(+), 14 deletions(-) (limited to 'src/main.rs') diff --git a/src/main.rs b/src/main.rs index f721ef4..b8987a2 100644 --- a/src/main.rs +++ b/src/main.rs @@ -43,23 +43,23 @@ let signature T = theory { C :: (x : set-of(set-of(set-of(A) :: Set) :: Set)) (b : set-of(B x)) -> Set } -let signature Graph = theory { - Node :: Set, - Edge :: (s : set-of(Node)) (t : set-of(Node)) -> Set -} +// let signature Graph = theory { +// Node :: Set, +// Edge :: (s : set-of(Node)) (t : set-of(Node)) -> Set +// } -let instance natPoset :: Graph = { - .Node = Nat :: Set, - .Edge = for (s : Nat) (t : Nat), Bool :: Set -} +// let instance natPoset :: Graph = { +// .Node = Nat :: Set, +// .Edge = for (s : Nat) (t : Nat), Bool :: Set +// } -let element node : set-of(natPoset .Node) = 7 +// let element node : set-of(natPoset .Node) = 7 -let set NatEdges = record { - source: set-of(natPoset .Node), - target: set-of(natPoset .Node), - connected: set-of(natPoset .Edge source target) -} +// let set NatEdges = record { +// source: set-of(natPoset .Node), +// target: set-of(natPoset .Node), +// connected: set-of(natPoset .Edge source target) +// } "#; let programme = parser::debug_parse(src); -- cgit v1.3.1