Monadoc
Search
Home
dove
0.0.0-0
lib:dove
lib:dove
Modules
Language.Dove
Language.Dove.ACL2
Language.Dove.Optimize
Language.Dove.Syntax
Dependencies
acl2
lib:acl2 >=0.0.1 && <0.2
base
lib:base >=4.0 && <5.0
Reverse dependencies
Direct only. Not exhaustive.
acme-everything
lib:acme-everything