msp-strath/ask

being a particular fragment of Haskell, extended to a proof system