pLam icon indicating copy to clipboard operation
pLam copied to clipboard

Published 20 hours ago • verified publisher icon slovnicki

recognize list

Open slovnicki opened this issue 4 years ago • 0 comments

recognize that λfl. l 1 (λfl. l 2 empty) is [1,2] when showing curried (partial) α-equivalent

slovnicki avatar Sep 09 '19 18:09 slovnicki