Linear Circuits but not as we know it: Using Linear Types to enforce wiring decisions.
Primary LanguageIdrisBSD 3-Clause Clear LicenseBSD-3-Clause-Clear