# Commit 2019-05-06 16:50 6eba20b0

View on Github →feat(category_theory): currying for functors (#981)

- feat(category_theory): currying for functors
- Update src/category_theory/currying.lean Co-Authored-By: semorrison scott@tqft.net
- compacting
- fix import
- change from review
- rfl on same line