lib:unique-logic-tf

Modules

• UniqueLogic.ST.TF.Example.Expression
• UniqueLogic.ST.TF.Example.Incremental
• UniqueLogic.ST.TF.Example.Label
• UniqueLogic.ST.TF.Example.Rule
• UniqueLogic.ST.TF.Example.Term
• UniqueLogic.ST.TF.Example.Verify
• UniqueLogic.ST.TF.Expression
• UniqueLogic.ST.TF.MonadTrans
• UniqueLogic.ST.TF.Rule
• UniqueLogic.ST.TF.System
• UniqueLogic.ST.TF.System.Label
• UniqueLogic.ST.TF.System.Simple
• UniqueLogic.ST.TF.ZeroFractional

Dependencies

• base lib:base >=4 && <5
• containers lib:containers >=0.4 && <0.8
• data-ref lib:data-ref >=0.0 && <0.2
• semigroups lib:semigroups >=0.1 && <1.0
• transformers lib:transformers >=0.4 && <0.7
• utility-ht lib:utility-ht >=0.0.9 && <0.1

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything
• lapack test:lapack-test
• sum-pyramid exe:sum-pyramid
• sum-pyramid test:sum-pyramid-test
• unique-logic-tf test:test-unique-logic