@hackage hic0.0.0.1
High Integrity Cimple (Hic) inference and lowering
Categories
License
GPL-3.0-only
Maintainer
Iphigenia Df <iphydf@gmail.com>
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
- 0.0.0.1 Wed, 14 Jan 2026
Installation
Dependencies (12)
- QuickCheck
- aeson
- base <5
- cimple >=0.0.28
- containers
- data-fix Show all…
Dependents (0)
Reverse compiler for Cimple, inferring higher-level constructs from C-like code.