Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Changelog for
simple-smt-0.5.2
0.5.1: Add 'define' commands 0.5: Adds more bit-wise operations 0.4: Fixes definiiton of `geq`