verify-hs - Equational reasoning helper tool for Haskell-like expressions

about summary refs log tree commit diff

path: root/verify-hs.cabal

diff options

Diffstat (limited to 'verify-hs.cabal')

0 files changed, 0 insertions, 0 deletions