GitHub - profbrandon/linear-type-theory: My first attempt (back in the summer of 2019) at understanding linear type theory. This interpreter was never quite finished, but maybe I'll get to it one day.

profbrandon / linear-type-theory Public

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

My first attempt (back in the summer of 2019) at understanding linear type theory. This interpreter was never quite finished, but maybe I'll get to it one day.

0 stars 0 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 18 Commits
src		src
test		test
.gitignore		.gitignore
README.md		README.md
TODO		TODO
build.bat		build.bat
clean.bat		clean.bat

Repository files navigation

About

My first attempt (back in the summer of 2019) at understanding linear type theory. This interpreter was never quite finished, but maybe I'll get to it one day.