Def curry

Modification history