Giters

msp-strath / ask

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ask

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

About

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

Languages

Language:Haskell 99.1%Language:HTML 0.7%Language:Makefile 0.2%