git.iko.soy/rel8
on ca7aaef help sign in
history ofsrc/Rel8/Table/Eq.hs
all commits
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 2d11a08Get rid of IsSpecialContextShane O'Brien b95dec4Document ==: and /=:Ollie Charles 9b5abf2Use data family for HTable contextsShane O'Brien 6360f10The beginning of rel8 1.0Shane O'Brien