A tutorial on how Agda infers things
Home Page:https://raw.githack.com/effectfully/inference-in-agda/master/InferenceInAgda.html
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool