Switch to an explicitly typed core language
brendanzab opened this issue · comments
This will make it easier to do type-directed compiler passes in the future - for example when stratifying the language into separate term, type, and kind languages.
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
brendanzab opened this issue · comments
This will make it easier to do type-directed compiler passes in the future - for example when stratifying the language into separate term, type, and kind languages.