Age | Commit message (Collapse) | Author | |
---|---|---|---|
2023-12-08 | prevent applying invalid proposalsrefactor-haskell | sanine | |
2023-12-05 | begin implementing applyLatticeProposals | sanine | |
2023-12-04 | refactor: Lattice -> World.Lattice | sanine | |
2023-12-04 | implement Combinable for Proposal | sanine | |
2023-12-04 | implement Combinable for AgentPropList | sanine | |
2023-12-03 | implement Combinable for LatticePropList | sanine | |
2023-11-30 | begin implementing lattice proposal list merging | sanine | |
2023-11-30 | add Compatible typeclass | sanine | |
2023-11-30 | begin adding world types | sanine | |