wllqwzx / LinearLang Public

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

LinearLang is a programming language based on linear type system that ensures memory safety.

2 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 23 Commits
src		src
test		test
.gitignore		.gitignore
.merlin		.merlin
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md

Repository files navigation

LinearLang

LinearLang is a programming language based on linear type system that ensure memory safety.

About

LinearLang is a programming language based on linear type system that ensures memory safety.

programming-language toy-language memory-safety type-system substructural-logics linear-type

Report repository

Releases

No releases published

Packages

Languages