From 36a9377163ecd3300f7b9ad3c4d8e93d97ce41ff Mon Sep 17 00:00:00 2001
From: tslil <tslil@posteo.de>
Date: Fri, 24 Apr 2026 10:44:41 +0100
Subject: computing cases

---
 src/main.rs | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'src/main.rs')

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,
-- 
cgit v1.3.1