This repository has been archived by the owner on Jul 25, 2018. It is now read-only.

Rename library

Latest

Latest

SimonRichardson released this 19 Aug 14:18

· 13 commits to master since this release

c455313

Also added:

Trampoline
Yoneda
More examples
Various bug fixes

Assets 2