pact
pact copied to clipboard
Investigate supporting column-of for property args
It's possible we might need to parse column names in a type-directed fashion to be able to tell 'column-name apart from 'some-random-string?
Example:
(defproperty conserves-mass (c:(column-of coin-table))
(= (column-delta coin-table c) 0.0))