Geeks
mietek
/
imla2017
Agda formalisation of NbE for λ□
Primary Language
Agda
Other
NOASSERTION
imla2017 Home Page
imla2017 GitHub
Markdown
Readme
0
Issues
17
Stargazers
4
Watchers
Watchers
eemailme
jhcloos
marsam
Peru
mietek