Name		Name	Last commit message	Last commit date
examples		examples
lang		lang
test		test
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
_CoqProject		_CoqProject
dune		dune
dune-project		dune-project
get-slang.sh		get-slang.sh
slang-eval.p		slang-eval.p

Repository files navigation

quartz

Build

dune build

Test

cmake --version && ninja --version && c++ --version && ./get-slang.sh
dune test

About

No description, website, or topics provided.

Custom properties

1 star

0 watching

Report repository

Releases

Packages

Contributors

Languages