DEV Community

loading...

Discussion on: NOTE: simply typed lambda calculus

Collapse
dannypsnl profile image
林子篆 Author

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

Forem Open with the Forem app