search

edwinb / Idris2-boot

A dependently typed programming language, a successor to Idris
https://idris-lang.org/
Other
902 stars 58 forks source link

Refactor identChar into the identLexer to have that definition in one place #329

Closed fabianhjr closed 4 years ago

fabianhjr commented 4 years ago

Furthermore, remove chars on [127..160] as ident characters since those are control characters.

This is a continuation of #290