.travis.yml
restructuring of core type checker types
cleanup
updated lens
IsBinding instance for Scheme
.travis.yml
IsBinding instance for Scheme and hlint cleanup
missed CPP language pragma
proper IsBinding instance for Scheme
in-progress changes
in-progress changes
extra tuple lenses
better use of lenses with tuples
use Monoid.First in first and second
newtype lenses
incremental changes
completed type structure unifier
whitespace
initial work on schemes
cleanup