Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Changelog for
singleton-bool-0.1.1.0
0.1.1.0
Add
eqToRefl
,
eqCast
,
trivialRefl