@hackage dove dependencies

2 results

library:dove (2 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.0 && <5.0

@hackage/acl2

Writing and calling ACL2 from Haskell.

BSD-3-Clause>=0.0.1 && <0.2