lambda-explorer icon indicating copy to clipboard operation
lambda-explorer copied to clipboard
verified publisher icon evinism

allow beta/eta reduction

Open evinism opened this issue 8 years ago • 0 comments

evinism avatar Oct 01 '17 16:10 evinism