effectfully/inference-in-agda

A tutorial on how Agda infers things

语言：HTML · GitHub 星标：68 · Fork：3

话题：agda

在 GitHub 上查看原仓库