Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Changelog for
shake-c-0.4.3.0
shake-c
0.4.3.0
Add
preprocessA
and
preprocessR
Add
TCC
constructor for
CCompiler
data type
0.4.2.0
Do not use oracles; they cause problems
0.4.1.0
Add
idOracle
Exported rules now use oracles