summaryrefslogtreecommitdiff
path: root/src/Proposal.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 07:20:14 +0000