HoTT/HoTT — pull request #266 by JasonGross (2013-11-25 00:33:21+00:00)
Title: Port NaturalTransformaion/Pointwise

Any ideas for a better name for these than "Pointwise", and/or a good notation for these?