Added package to pypi.
Additional types and improved type-checking
Make copied type-variable context only for each instance of a function call.
You can also use your local clone with git send-email.
Tacit Python programming.
from tacit import * add5 = add(5) print('6 + 5 =', add5(6)) #=> 11 @Curry("int -> int -> float") def f(x, y): return (6.5 + x) * y # or f = Curry(lambda x, y: (6 + x) * y) a = (f(3) * add(2))(5) b = f(3, 2 + 5) print('a == b #=>', a == b) #=> true