Idris libraries for hybrid classical-quantum programming
Primary LanguageIdrisMIT LicenseMIT
No one’s watching this repository yet.