An Agda formalization of System F and the Brown-Palsberg self-interpreter
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool