Joomy Korkut

Fails to prove Dummett's formula

1

``` ~$ wang --sequent "[] |- [(a -> b)|(b -> a)]" --backend Text Before: [] ⊢ [((a) ⊃ (b)) ∨ ((b) ⊃ (a))] Rule: OrRight ------------------- Before: [] ⊢ [(a)...

Currently all term evaluation gets stuck, so we end up with terms like `1 + 1`. It's not possible to prove things like `P(1 + 1) |- P(2)` without the...

Currently the system asks for inputs upfront for rules like cut in LK, or Cons in Hoare logic. It could be better if when you apply these rules you get...

Not a huge issue because they get refreshed whenever a rule is applied but it's annoying. I couldn't figure out how to enforce this in Fabric.js.

Ternary expressions containing lambdas result in error instead of evaluating

1

Consider the following vim9script code: ```vim vim9script var Foo = true ? (x: number): number => x : (x: number): number => x echo Foo(10) ``` (this returns 10 in...