GitHub - useronym/masters: Coinductive Formalization of SECD Machine in Agda · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 68 Commits
.gitignore		.gitignore
Makefile		Makefile
bibliography.bib		bibliography.bib
thesis.lagda		thesis.lagda
thesis.pdf		thesis.pdf
tips		tips

About

Coinductive Formalization of SECD Machine in Agda

is.muni.cz/th/vhz48?lang=en

6 stars

1 watching

Report repository

Releases

No releases published

Packages

Contributors

Languages