@hackage / agum

Unification and Matching in an Abelian Group

Latest2.8

Dependencies

library:agum (2 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.13 && <5
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.3
- License: BSD-3-Clause

executable:agum (2 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.13 && <5
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.3
- License: BSD-3-Clause