search

msp-strath / ask

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

Sketchy #8

Closed pigworker closed 3 years ago

pigworker commented 3 years ago

induction proofs are beginning to work; let's have that on main

pigworker commented 3 years ago

too much devious shenanigans, coping with the bad design