diff options
Diffstat (limited to 'src/main.rs')
| -rw-r--r-- | src/main.rs | 8 |
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, |