gmail will work always (probably)
remove
Remove all [s]fold* functions - combine them with a new Mode type.
Don't use unicode subscripts
delete Data.Index.Nat
suppress warning
update docs for changes
fix Ix instance so that range = [0, t) as advertised
80 col, spacing
export reflect
InRange - whether a bound is within another
version bump