Completed
Pull Request — master (#111)
by Lars
03:14 queued 44s
created

No notable changes

There were no notable changes in the changeset which was inspected.

???
Head
Lars Strojny  
Merge 0b0f0cd2ffe2d1c41e280563b6dcb3f1d9cbe5b1 into 7027591e89b4cf0a1a82e14594c6c0e3ecbfbcbc
2 more commits
Base
Gilles Crettenand  
Implement currying (#107)