git.iko.soy/rel8
on da76712 help sign in
history ofsrc/Rel8/Table/Undefined.hs
all commits
f47423eGet rid of the Spec kind, it can be simplified to just Type (#110)Shane 97d89cfRemove Interpretation and Col (#107)Ollie Charles 0f76861Make all Col constructors single letter wrappersShane O'Brien f1e287eRename all the null thingsShane O'Brien 53616d0Simplify Spec to just labels, necessity and typeShane O'Brien bbfa1a3Allow Insert (rather than Insertion) to be used as a ContextShane O'Brien 2d11a08Get rid of IsSpecialContextShane O'Brien 9b5abf2Use data family for HTable contextsShane O'Brien 6360f10The beginning of rel8 1.0Shane O'Brien