/quantum-resource-analysis

Exploration of type-level resource analysis of quantum programs in Idris

Primary LanguageIdris

No issues in this repository yet.