Open Issues Need Help
View All on GitHub Build Systems • Compiler Toolchains
Deprecate old multi-line syntax 29 days ago
AI Summary: Deprecate the old multi-line string syntax in the Idris 2 compiler. This involves modifying the parser to issue warnings for the old syntax and potentially replacing its usage with the newer, explicit multi-line string syntax. The task requires familiarity with the Idris 2 compiler's codebase and its parsing mechanisms.
Complexity:
4/5
good first issue syntax implem: string
idris-lang/Idris2
2.7K
A purely functional programming language with first class types
Idris
#compiler#dependent-types#hacktoberfest