From a4ae8db8c3adf4fb9da94be74bf1174787e8fe35 Mon Sep 17 00:00:00 2001 From: Nicolas Abril Date: Thu, 10 Nov 2022 17:49:53 +0100 Subject: [PATCH] fix: Remove copy/paste leftover in syntax.md --- SYNTAX.md | 8 -------- 1 file changed, 8 deletions(-) diff --git a/SYNTAX.md b/SYNTAX.md index 0dc5d366..cefd88ad 100644 --- a/SYNTAX.md +++ b/SYNTAX.md @@ -465,14 +465,6 @@ List.nil) But underneath the hood, what an implicit argument actually does is automatically put holes in these places. -Moreover, single holes can be shortened as `!`. So it can also be written as: - -``` -List.cons!(List.cons!(1, List.cons!(2, List.nil!)), -List.cons!(List.cons!(3, List.cons!(4, List.nil!)), -List.nil!)) -``` - Of course, in this particular example, we can just use the list notation directly: ```