verify-hs/src/Haskell/Env, branch master
Equational reasoning helper tool for Haskell-like expressions
https://git.tomsmeding.com/verify-hs/atom?h=master
2019-04-09T21:30:08Z
Organisation cleanup
2019-04-09T21:30:08Z
Tom Smeding
tom.smeding@gmail.com
2019-04-09T21:30:08Z
urn:sha1:573967434a8b1cb14ee7de43ec11bd616cf568c6