Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Changelog for
shake-c-0.4.2.0
shake-c
0.4.2.0
Do not use oracles; they cause problems
0.4.1.0
Add
idOracle
Exported rules now use oracles