types: detabify/dewhitespace Unify
authorAustin Seipp <austin@well-typed.com>
Fri, 26 Sep 2014 04:07:07 +0000 (23:07 -0500)
committerAustin Seipp <austin@well-typed.com>
Fri, 26 Sep 2014 04:07:07 +0000 (23:07 -0500)
commitefdf4b9d69d7eda83f872cbcfac9ef1215f39b7c
tree2378402156152b5cb56e5d91c6b6b5e57b1551a1
parent18155ac21257316b430bfa209512d06822319707
types: detabify/dewhitespace Unify

Signed-off-by: Austin Seipp <austin@well-typed.com>
compiler/types/Unify.lhs