File tree Expand file tree Collapse file tree 1 file changed +2
-12
lines changed Expand file tree Collapse file tree 1 file changed +2
-12
lines changed Original file line number Diff line number Diff line change @@ -24,11 +24,6 @@ scala_lunches:
24
24
place : BC 410, EPFL
25
25
speaker : Bastien Jolidon & Kelvin Kappeler
26
26
title : " Game verified with Stainless"
27
- - date : 10 July 2023
28
- time : " 12:00pm"
29
- place : BC 410, EPFL
30
- speaker : # to be announced
31
- title : # to be announced
32
27
- date : 4 September 2023
33
28
time : " 12:00pm"
34
29
place : BC 410, EPFL
@@ -51,16 +46,11 @@ scala_lunches:
51
46
title : Specifying Match Types in Scala 3
52
47
53
48
# 2024
54
- - date : 11 January 2024
55
- time : " 12:00pm"
56
- place : BC 410, EPFL
57
- speaker : # To be announced
58
- title : # to be announced
59
49
60
- - date : 1 February 2024
50
+ - date : 8 February 2024
61
51
time : " 12:00pm"
62
52
place : BC 410, EPFL
63
- speaker : # To be announced
53
+ speaker : Andy Wingo
64
54
title : # to be announced
65
55
66
56
- date : 14 March 2024
You can’t perform that action at this time.
0 commit comments