on 137ebed help sign in
all commits
0f76861Make all Col constructors single letter wrappersShane O'Brien f1e287eRename all the null thingsShane O'Brien 593e21bRemove Opaque constraint synonymsShane O'Brien 24f0521Fill in missing EqTable and OrdTable instancesShane O'Brien 8127f14Start work breaking down EqTable and OrdTableOllie Charles 53616d0Simplify Spec to just labels, necessity and typeShane O'Brien bbfa1a3Allow Insert (rather than Insertion) to be used as a ContextShane O'Brien cdc620dDocument Rel8.Table.OrderOllie Charles 6360f10The beginning of rel8 1.0Shane O'Brien