computing cases

1 files changed, 5 insertions, 3 deletions

diff --git a/src/main.rs b/src/main.rs
index df36027..c57eef6 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -1,8 +1,8 @@
 mod ast;
-mod check_state;
 mod checker;
+mod checker_set;
+mod checker_state;
 mod parser;
-mod set_checker;
 
 use tracing_subscriber::{layer::SubscriberExt, util::SubscriberInitExt};
 use tracing_tree::HierarchicalLayer;
@@ -32,7 +32,9 @@ let element z : Z = { .y = x }
 
 let element the_nat : Nat = z .y .n
 
-let element w : W = f. 1.44
+let element injected : W = z. z
+
+let element compute : Nat = case injected of [ z. myz => myz .y .n | f. myf => 2 ]
 
 // let signature Graph = theory {
 //     .Node :: Set,