search

steshaw / plt

Programming Language Theory λΠ
https://steshaw.org/plt/
5.24k stars 340 forks source link

lambda pi looks like 入门? #38

Closed zaoqi-unsafe closed 5 years ago

steshaw commented 5 years ago

The favicon?

It's this image