summaryrefslogtreecommitdiff
path: root/test/ProposalTest.hs
AgeCommit message (Collapse)Author
2023-12-03implement Combinable for LatticePropListsanine
generated by cgit v1.2.1 (git 2.18.0) at 2024-12-23 06:48:50 +0000