λ-Q# extended with Safe Qubit Arrays

See §6 of QAlgol paper for early ideas.

Name		Name	Last commit message	Last commit date
Latest commit History 138 Commits
src		src
.gitattributes		.gitattributes
.gitignore		.gitignore
.ocamlformat		.ocamlformat
.pre-commit-config.yaml		.pre-commit-config.yaml
LICENSE		LICENSE
README.md		README.md

Provide feedback