diff options
Diffstat (limited to 'src/Language.v')
-rw-r--r-- | src/Language.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Language.v b/src/Language.v index eb64e0f2e..b4fc4ed2d 100644 --- a/src/Language.v +++ b/src/Language.v @@ -782,7 +782,7 @@ Module Compilers. Notation "\ x .. y , f" := (Abs (fun x => .. (Abs (fun y => f%expr)) .. )) : expr_scope. Notation "'λ' x .. y , f" := (Abs (fun x => .. (Abs (fun y => f%expr)) .. )) : expr_scope. Notation "'expr_let' x := A 'in' b" := (LetIn A (fun x => b%expr)) : expr_scope. - Notation "'$' x" := (Var x) (at level 10, format "'$' x") : expr_scope. + Notation "'$' x" := (Var x) : expr_scope. Notation "### x" := (Ident x) : expr_scope. End Notations. End expr. |