GitHub - DepTyCheck/dynam-model: A model of a dynamically typed language like lua or javascript

Name		Name	Last commit message	Last commit date
Latest commit History 19 Commits
.github/workflows		.github/workflows
src/Dynam		src/Dynam
test		test
.gitignore		.gitignore
.gitlab-ci.yml		.gitlab-ci.yml
Dockerfile		Dockerfile
Print.idr		Print.idr
dynam.ipkg		dynam.ipkg
groovy_verify.sh		groovy_verify.sh
pack.toml		pack.toml
parallel.sh		parallel.sh
pp		pp