loading...

re: NOTE: simply typed lambda calculus VIEW POST

FULL DISCUSSION
 

Unfortunately, this kind of article with so many latex symbols, post it to dev.to is so hard. 😭

code of conduct - report abuse