steshaw/plt

Programming Language Theory λΠ

语言：CSS · GitHub 星标：5,370 · Fork：344

话题：category-theory · functional-programming · logic · programming-languages · proof-theory · type-theory

在 GitHub 上查看原仓库