groupoid/alonzo

🧊 Мінімальна внутрішня мова декартово-замкнених категорій

语言：OCaml · GitHub 星标：15 · Fork：1

话题：church · lambda-calculus · stlc

在 GitHub 上查看原仓库