being a particular fragment of Haskell, extended to a proof system
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool