diff options
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 = { |