LL Toy
A B C ⊸
⊥
⊗ 1 ⅋ ⊥ & ⊤ ⊕ 0 ! ?
Proposition
Start!