on 52182bc help sign in
all commits
14f4a77update tupleable documentation to include new toUpdateExpr/toDeleteExprAgentM 5b1fe0fswitch to lowercase proxy where possible 3noch believes this will allow for looser Proxy typesAgentM 8fbcf59adjust toInsertExpr "forall a. forall t." to "forall a t."AgentM 4da5ec0adjust docs for Atomable and Tupleable to reference ProxyAgentM d0fbb52Fix indentation of usage descriptionsElliot Cameron dcac4deadd Tupleable typeclass documentationAgentM