search

msp-strath / ask

being a particular fragment of Haskell, extended to a proof system
19 stars 1 forks source link

Sketchy #10

Closed pigworker closed 3 years ago

pigworker commented 3 years ago

There were serious but subtle scope errors in IH generation, now repaired.