andorp / TaPL Public

TaPL implementation bits in Idris2

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 68 Commits
TaPL		TaPL
TaPLc		TaPLc
.gitignore		.gitignore
Main.idr		Main.idr
Makefile		Makefile
README.md		README.md
VERSIONS		VERSIONS
tapl.ipkg		tapl.ipkg

Repository files navigation

TaPL

TaPL implementation bits in Idris2

TaPL implementation bits in Idris2

No releases published

No packages published