Closed Z-snails closed 2 years ago
Idris2 supports numbers and hyphens in package names, only the first character needs to be a alpha character See https://github.com/idris-lang/Idris2/blob/main/src/Parser/Lexer/Common.idr#L35
For a package to rely on the 'idris2' package for example, this must be supported
Idris2 supports numbers and hyphens in package names, only the first character needs to be a alpha character See https://github.com/idris-lang/Idris2/blob/main/src/Parser/Lexer/Common.idr#L35
For a package to rely on the 'idris2' package for example, this must be supported