Age | Commit message (Expand) | Author |
---|---|---|
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 |