[ cabal ] for the ask project

msp-strath / ask

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

19 stars 1 forks source link

Closed gallais closed 1 month ago

gallais commented 1 month ago

There will undoubtedly be some compat issues but let's get it started!