rachel/hm
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

added '\' for 'λ' and '->' for '→'

Browse Source
This commit is contained in:
Rachel Lambda Samuelsson 2022-01-28 22:56:03 +01:00
parent 0c347709f0
commit c58327ed98
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
hm.cf
View File

@ -19,6 +19,7 @@ Decl. Decl ::= Id ":" TypeSig ;
-- todo custom [Decl] -- todo custom [Decl]
TypeFun. TypeSig ::= TypeSig1 "→" TypeSig ; TypeFun. TypeSig ::= TypeSig1 "→" TypeSig ;
TypeFun. TypeSig ::= TypeSig1 "->" TypeSig ;
TypeApp. TypeSig1 ::= Id [TypeSig2] ; TypeApp. TypeSig1 ::= Id [TypeSig2] ;
TypeVar. TypeSig2 ::= Id ; TypeVar. TypeSig2 ::= Id ;
coercions TypeSig 2; coercions TypeSig 2;
@ -26,7 +27,8 @@ coercions TypeSig 2;
separator nonempty TypeSig2 "" ; separator nonempty TypeSig2 "" ;
ExpLet. Exp ::= "let" "{" [Assign] "}" "in" Exp1 ; ExpLet. Exp ::= "let" "{" [Assign] "}" "in" Exp1 ;
ExpAbs. Exp1 ::= "λ" [Id] "." Exp1 ; ExpAbs. Exp1 ::= "λ" [Id] "." Exp1 ;
ExpAbs. Exp1 ::= "\\" [Id] "." Exp1 ;
ExpApp. Exp1 ::= Exp2 [Exp2] ; ExpApp. Exp1 ::= Exp2 [Exp2] ;
ExpVar. Exp2 ::= Id ; ExpVar. Exp2 ::= Id ;