effectfully / inference-in-agda

A tutorial on how Agda infers things

https://raw.githack.com/effectfully/inference-in-agda/master/InferenceInAgda.html

Geek Repo

Github PK Tool