From c58327ed9822ee30e5b3d297127fc0db67182f29 Mon Sep 17 00:00:00 2001
From: depsterr <depsterr@protonmail.com>
Date: Fri, 28 Jan 2022 22:56:03 +0100
Subject: [PATCH] =?UTF-8?q?added=20'\'=20for=20'=CE=BB'=20and=20'->'=20for?=
 =?UTF-8?q?=20'=E2=86=92'?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 hm.cf | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/hm.cf b/hm.cf
index 83e95da..174787a 100644
--- a/hm.cf
+++ b/hm.cf
@@ -19,6 +19,7 @@ Decl. Decl  ::= Id ":" TypeSig ;
 -- todo custom [Decl]
 
 TypeFun. TypeSig  ::= TypeSig1 "→"  TypeSig ;
+TypeFun. TypeSig  ::= TypeSig1 "->" TypeSig ;
 TypeApp. TypeSig1 ::= Id [TypeSig2] ;
 TypeVar. TypeSig2 ::= Id ;
 coercions TypeSig 2;
@@ -26,7 +27,8 @@ coercions TypeSig 2;
 separator nonempty TypeSig2 "" ;
 
 ExpLet.   Exp  ::= "let" "{" [Assign] "}" "in" Exp1 ;
-ExpAbs.   Exp1 ::= "λ" [Id] "." Exp1 ;
+ExpAbs.   Exp1 ::= "λ"  [Id] "." Exp1 ;
+ExpAbs.   Exp1 ::= "\\" [Id] "." Exp1 ;
 ExpApp.   Exp1 ::= Exp2 [Exp2] ;
 ExpVar.   Exp2 ::= Id ;