pigworker / Totality Public

Notifications You must be signed in to change notification settings
Fork 0
Star 24

being the programs and code for a paper about general recursion

24 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 12 Commits
llncs2e		llncs2e
.gitignore		.gitignore
Makefile		Makefile
Notality.lagda		Notality.lagda
README.md		README.md
Sizey.agda		Sizey.agda
Totality-slides.pdf		Totality-slides.pdf
Totality.bib		Totality.bib
Totality.lagda		Totality.lagda
llncs.cls		llncs.cls

Repository files navigation

Totality

being the programs and code for a paper about general recursion

About

being the programs and code for a paper about general recursion

Report repository

Releases

No releases published

Packages

No packages published

Contributors 2

Languages