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

Name		Name	Last commit message	Last commit date
.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

About

A model of a dynamically typed language like lua or javascript

Custom properties

0 stars

1 watching

Report repository

Releases

Packages

Used by

Contributors

Languages