/inference-in-agda

A tutorial on how Agda infers things

Primary LanguageHTML

Stargazers