git.iko.soy/rel8
on 22deaf2 help sign in
history ofsrc/Rel8/Table/Name.hs
all commits
7133aceDocument namesFromLabels and namesFromLabelsWithOllie Charles 0f76861Make all Col constructors single letter wrappersShane O'Brien dc69ccaRemove implicit call to quietSnake; that's what namesFromLabelsWith is forShane O'Brien 04fdf27Make Rel8able have kind ((X -> Type) -> Type) -> ConstraintShane O'Brien bbfa1a3Allow Insert (rather than Insertion) to be used as a ContextShane O'Brien 2d11a08Get rid of IsSpecialContextShane O'Brien 38a9aecFix bottomShane O'Brien 9b5abf2Use data family for HTable contextsShane O'Brien 6360f10The beginning of rel8 1.0Shane O'Brien