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