zip incremental development
Create README.md
applicative basics
Merge branch 'master' of github.com:pigworker/MetaprogAgda
merge will be needed
Merge branch 'master' of github.com:pigworker/MetaprogAgda

Conflicts:
	Vec.lagda
added traverse
tidied typesetting
defined normal functor
constructor is a kw
applicativeId traversableEndoFunctor
normal ops
Merge branch 'master' of github.com:pigworker/MetaprogAgda

Conflicts:
	Vec.lagda
more latex tweaking
crush and composition
from traversable to normal
a bit of proof
the inevitable tex tweaks
got toNormal out
added bib file