diff options
| author | tslil <tslil@posteo.de> | 2026-05-06 11:21:22 +0100 |
|---|---|---|
| committer | tslil <tslil@posteo.de> | 2026-05-06 13:35:14 +0100 |
| commit | 1b4abb8fdd81f6de2166ef3f064a77fd5622fe83 (patch) | |
| tree | 7a1bea5e296fc8607fed97d7fe82de618959fd32 /examples/one_simplex.makkai | |
| parent | fbb8835cb73fd51e130f4e319290eeb44eadfcf5 (diff) | |
clean up examples vs tests
Diffstat (limited to 'examples/one_simplex.makkai')
| -rw-r--r-- | examples/one_simplex.makkai | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/examples/one_simplex.makkai b/examples/one_simplex.makkai index 590cf04..f7e7bff 100644 --- a/examples/one_simplex.makkai +++ b/examples/one_simplex.makkai @@ -6,8 +6,6 @@ let signature Graph = theory { let set Empty = variant[] let set Unit = record{} let element pt : Unit = {} -let set F1 = variant [ one0 : Unit ] -let set F2 = variant [ two0 : Unit | two1 : Unit ] let set F3 = variant [ three0 : Unit | three1 : Unit | three2: Unit ] let instance oneSimplex :: Graph = { |