@hackage / linear-smc

Build SMC morphisms using linear types

Latest2.2.3

Dependencies

library:linear-smc (3 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.16.4.0 && <666
- License: BSD-3-Clause
@hackage / constraints Constraint manipulation
- Version: >=0.13.4 && <666
- License: BSD-2-Clause
@hackage / array Mutable and immutable arrays
- Version: >=0.5 && <666
- License: BSD-3-Clause

test:test-unitary (3 dependencies)

@hackage / base Core data structures and operations
- Version:
- License: BSD-3-Clause
@hackage / constraints Constraint manipulation
- Version:
- License: BSD-2-Clause
@hackage / array Mutable and immutable arrays
- Version: >=0.5.4 && <666
- License: BSD-3-Clause