File tree Expand file tree Collapse file tree 3 files changed +23
-6
lines changed Expand file tree Collapse file tree 3 files changed +23
-6
lines changed Original file line number Diff line number Diff line change @@ -73,22 +73,26 @@ <h1 id="so-features">So, features?</h1>
73
73
< td > In progress</ td >
74
74
</ tr >
75
75
< tr class ="odd ">
76
+ < td > Phantom types</ td >
77
+ < td > In progress</ td >
78
+ </ tr >
79
+ < tr class ="even ">
76
80
< td > </ td >
77
81
< td > </ td >
78
82
</ tr >
79
- < tr class ="even ">
83
+ < tr class ="odd ">
80
84
< td > Implicit functions</ td >
81
85
< td > Considered</ td >
82
86
</ tr >
83
- < tr class ="odd ">
87
+ < tr class ="even ">
84
88
< td > Effects</ td >
85
89
< td > Considered</ td >
86
90
</ tr >
87
- < tr class ="even ">
91
+ < tr class ="odd ">
88
92
< td > Auto-completion in repl</ td >
89
93
< td > Considered</ td >
90
94
</ tr >
91
- < tr class ="odd ">
95
+ < tr class ="even ">
92
96
< td > Spec Option-less pattern matching</ td >
93
97
< td > Considered</ td >
94
98
</ tr >
@@ -105,5 +109,12 @@ <h1 id="i-have-more-questions">I have more questions!</h1>
105
109
< p > That’s great! We have more details on the < a href ="{{ site.baseurl }}/docs "> docs</ a > and please join our < a href ="https://gitter.im/lampepfl/dotty "> Gitter channel</ a > !</ p >
106
110
</ div >
107
111
</ div >
112
+ < div class ="centered-subtitle ">
113
+ < a href ="#why-dotty ">
114
+ < i id ="scroll-down-arrow " class ="animated infinite pulse material-icons ">
115
+ expand_more
116
+ </ i >
117
+ </ a >
118
+ </ div >
108
119
</ div >
109
120
Original file line number Diff line number Diff line change @@ -15,6 +15,12 @@ <h1 id="getting-started-with-a-project">Create a Dotty Project</h1>
15
15
< pre class ="sourceCode bright "> < code > sbt new < a href ="https://github.com/lampepfl/dotty-cross.g8 "> lampepfl/dotty-cross.g8</ a > </ code > </ pre >
16
16
17
17
< p > For documentation see the < a href ="https://github.com/lampepfl/dotty-example-project "> Dotty Example Project</ a > .</ p >
18
-
18
+ </ div >
19
+ < div class ="centered-subtitle ">
20
+ < a href ="#so-features ">
21
+ < i id ="scroll-down-arrow " class ="animated infinite pulse material-icons ">
22
+ expand_more
23
+ </ i >
24
+ </ a >
19
25
</ div >
20
26
</ div >
Original file line number Diff line number Diff line change 83
83
< div class ="centered-subtitle ">
84
84
< h1 id ="dotty "> Dotty</ h1 >
85
85
< p > A next generation compiler for Scala</ p >
86
- < a href ="#why-dotty ">
86
+ < a href ="#getting-started ">
87
87
< i id ="scroll-down-arrow " class ="animated infinite pulse material-icons ">
88
88
expand_more
89
89
</ i >
You can’t perform that action at this time.
0 commit comments