From 45e13d75add2eb886978696d94c1de5251e9c8b0 Mon Sep 17 00:00:00 2001 From: Eric Loots Date: Mon, 18 Sep 2023 17:38:13 +0200 Subject: [PATCH 1/2] Fix typos --- .../extensionmethods/ExtensionOperators.worksheet.sc | 8 -------- slides/01-introduction.md | 2 +- slides/index.html | 2 +- 3 files changed, 2 insertions(+), 10 deletions(-) delete mode 100644 code-snippets/contextual-abstractions/src/main/scala/org/lunatech/dotty/extensionmethods/ExtensionOperators.worksheet.sc diff --git a/code-snippets/contextual-abstractions/src/main/scala/org/lunatech/dotty/extensionmethods/ExtensionOperators.worksheet.sc b/code-snippets/contextual-abstractions/src/main/scala/org/lunatech/dotty/extensionmethods/ExtensionOperators.worksheet.sc deleted file mode 100644 index 375c8614f..000000000 --- a/code-snippets/contextual-abstractions/src/main/scala/org/lunatech/dotty/extensionmethods/ExtensionOperators.worksheet.sc +++ /dev/null @@ -1,8 +0,0 @@ -// Metals Scala worksheet - -extension (a: String) def < (b: String): Boolean = a.compareTo(b) < 0 - -extension (a: Int) def +++: (b: List[Int]) = a::b - -println("abc" < "pqr") -println(1 +++: List(2,3,4)) diff --git a/slides/01-introduction.md b/slides/01-introduction.md index 40df47253..0df89b566 100644 --- a/slides/01-introduction.md +++ b/slides/01-introduction.md @@ -100,7 +100,7 @@ ## ­ * _Eric Loots_ (Lunatech Belgium) -* _Adrien Picquerez_ (EPFL Scala Center Switzerland) +* _Adrien Piquerez_ (EPFL Scala Center Switzerland) * _Trevor Burton-McCreadie_ (Lunatech United Kingdom) --- diff --git a/slides/index.html b/slides/index.html index c875d6a38..b5e43d8b8 100644 --- a/slides/index.html +++ b/slides/index.html @@ -13,7 +13,7 @@ - +