GitHub repository: msp-strath/ask
Primary language: Haskell
Created: 2020-10-10T14:39:03Z
Description: being a particular fragment of Haskell, extended to a proof system