msyds/rlp
1
0
Fork 0
Code Issues 4 Pull Requests Actions Packages Projects Releases 2 Wiki Activity

rc #13

Merged
crumbtoo merged 196 commits from dev into main 2024-02-13 13:22:23 -07:00
Conversation 0 Commits 196 Files Changed 55 +1 -2
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 832767575c - Show all commits

3
src/Core/Lex.x
View File

@@ -87,8 +87,7 @@ rlp :-
"where" { constTok TokenWhere } "where" { constTok TokenWhere }
"Pack" { constTok TokenPack } -- temp "Pack" { constTok TokenPack } -- temp
-- TODO: this should be "\" "\" { constTok TokenLambda }
"\\" { constTok TokenLambda }
"λ" { constTok TokenLambda } "λ" { constTok TokenLambda }
"=" { constTok TokenEquals } "=" { constTok TokenEquals }
"->" { constTok TokenArrow } "->" { constTok TokenArrow }