cur icon indicating copy to clipboard operation
cur copied to clipboard

Published 20 hours ago • verified publisher icon wilbowma

η-expansion during conversion

Open wilbowma opened this issue 8 years ago • 0 comments

Wouldn't it be nice if we had η-expansion during conversion?

Coming soon.

wilbowma avatar May 09 '16 20:05 wilbowma