CakeML/pure Issues
Designing TypeClassLang
Updated 1Parsing for TypeClassLang
Updated 1Unverified binary generation
UpdatedCompilation of TypeClassLang
UpdatedSemantics for TypeClassLang
UpdatedType classes
Updated 2Desugaring of `Case`
UpdatedRemove Box from ThunkLang
Closed 1Monads vs. constructors
Closed 3Record types
Updated 1Inlining in PureLang
Updated 1GADTs
UpdatedType synonyms
UpdatedUnderscore variable names
UpdatedError reporting
UpdatedType signature support
Updated 2Improve Box in EnvLang
UpdatedRemove unused theories
UpdatedRemove "old" values
Updated