This repository was archived by the owner on Mar 27, 2025. It is now read-only.
File tree
99 files changed
+1087
-590
lines changed- exercises
- exercise_000_sudoku_solver_initial_state
- project
- src/main
- resources
- scala/org/lunatechlabs/dotty/sudoku
- exercise_001_dotty_deprecated_syntax_rewriting
- project
- src/main
- resources
- scala/org/lunatechlabs/dotty/sudoku
- exercise_002_dotty_new_syntax_and_indentation_based_syntax
- project
- src/main
- resources
- scala/org/lunatechlabs/dotty/sudoku
- exercise_003_top_level_definitions
- project
- src/main
- resources
- scala/org/lunatechlabs/dotty/sudoku
- exercise_004_parameter_untupling
- project
- src/main
- resources
- scala/org/lunatechlabs/dotty/sudoku
- exercise_005_extension_methods
- project
- src/main
- resources
- scala/org/lunatechlabs/dotty/sudoku
- exercise_006_using_and_summon
- project
- src/main
- resources
- scala/org/lunatechlabs/dotty/sudoku
- exercise_007_givens
- project
- src/main
- resources
- scala/org/lunatechlabs/dotty/sudoku
- exercise_008_enum_and_export
- project
- src/main
- resources
- scala/org/lunatechlabs/dotty/sudoku
- exercise_009_union_types
- project
- src/main
- resources
- scala/org/lunatechlabs/dotty/sudoku
- exercise_010_opaque_type_aliases
- project
- src/main
- resources
- scala/org/lunatechlabs/dotty/sudoku
- exercise_011_multiversal_equality
- project
- src/main
- resources
- scala/org/lunatechlabs/dotty/sudoku
- exercise_020_opaque_type_aliases_alt
- project
- src/main
- resources
- scala/org/lunatechlabs/dotty/sudoku
- exercise_021_multiversal_equality
- project
- src/main
- resources
- scala/org/lunatechlabs/dotty/sudoku
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
99 files changed
+1087
-590
lines changedLines changed: 3 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
5 | 5 |
| |
6 | 6 |
| |
7 | 7 |
| |
| 8 | + | |
| 9 | + | |
| 10 | + | |
8 | 11 |
| |
9 | 12 |
| |
10 | 13 |
| |
|
Lines changed: 1 addition & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
2 | 1 |
| |
3 | 2 |
| |
4 |
| - | |
5 | 3 |
| |
6 | 4 |
| |
7 | 5 |
| |
8 | 6 |
| |
9 | 7 |
| |
10 |
| - | |
11 |
| - | |
| 8 | + | |
12 | 9 |
| |
13 | 10 |
|
Lines changed: 13 additions & 24 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
10 |
| - | |
11 |
| - | |
12 |
| - | |
13 |
| - | |
14 |
| - | |
| 10 | + | |
15 | 11 |
| |
16 | 12 |
| |
17 | 13 |
| |
18 |
| - | |
19 |
| - | |
20 |
| - | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
21 | 17 |
| |
22 | 18 |
| |
23 | 19 |
| |
24 | 20 |
| |
25 | 21 |
| |
26 |
| - | |
27 |
| - | |
28 |
| - | |
29 |
| - | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
30 | 25 |
| |
31 |
| - | |
32 |
| - | |
33 |
| - | |
| 26 | + | |
34 | 27 |
| |
35 |
| - | |
36 |
| - | |
37 |
| - | |
| 28 | + | |
38 | 29 |
| |
39 |
| - | |
40 |
| - | |
41 |
| - | |
| 30 | + | |
42 | 31 |
| |
43 | 32 |
| |
44 | 33 |
| |
45 |
| - | |
46 |
| - | |
47 |
| - | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
48 | 37 |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
| 1 | + |
Lines changed: 4 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
2 | 6 |
| |
3 | 7 |
| |
4 | 8 |
| |
|
Lines changed: 13 additions & 13 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
1 | 2 |
| |
2 | 3 |
| |
3 |
| - | |
| 4 | + | |
4 | 5 |
| |
5 |
| - | |
| 6 | + | |
6 | 7 |
| |
7 | 8 |
| |
8 |
| - | |
| 9 | + | |
9 | 10 |
| |
10 | 11 |
| |
11 | 12 |
| |
12 |
| - | |
13 |
| - | |
14 |
| - | |
15 |
| - | |
16 |
| - | |
17 |
| - | |
18 |
| - | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
19 | 19 |
| |
20 |
| - | |
21 |
| - | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
22 | 23 |
| |
23 |
| - | |
24 | 24 |
|
Lines changed: 2 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
30 | 30 |
| |
31 | 31 |
| |
32 | 32 |
| |
| 33 | + | |
33 | 34 |
| |
34 | 35 |
| |
35 | 36 |
| |
36 | 37 |
| |
37 | 38 |
| |
| 39 | + | |
38 | 40 |
| |
39 | 41 |
| |
40 | 42 |
| |
|
Lines changed: 44 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
74 | 74 |
| |
75 | 75 |
| |
76 | 76 |
| |
| 77 | + | |
77 | 78 |
| |
78 | 79 |
| |
79 | 80 |
| |
| |||
88 | 89 |
| |
89 | 90 |
| |
90 | 91 |
| |
| 92 | + | |
91 | 93 |
| |
92 | 94 |
| |
| 95 | + | |
| 96 | + | |
| 97 | + | |
| 98 | + | |
| 99 | + | |
| 100 | + | |
93 | 101 |
| |
94 | 102 |
| |
95 | 103 |
| |
96 | 104 |
| |
97 | 105 |
| |
98 | 106 |
| |
| 107 | + | |
| 108 | + | |
| 109 | + | |
| 110 | + | |
| 111 | + | |
| 112 | + | |
99 | 113 |
| |
100 | 114 |
| |
101 | 115 |
| |
102 | 116 |
| |
103 | 117 |
| |
104 | 118 |
| |
| 119 | + | |
105 | 120 |
| |
106 | 121 |
| |
| 122 | + | |
| 123 | + | |
| 124 | + | |
| 125 | + | |
| 126 | + | |
| 127 | + | |
107 | 128 |
| |
108 | 129 |
| |
109 | 130 |
| |
110 | 131 |
| |
| 132 | + | |
| 133 | + | |
| 134 | + | |
| 135 | + | |
| 136 | + | |
| 137 | + | |
111 | 138 |
| |
112 | 139 |
| |
113 | 140 |
| |
114 | 141 |
| |
115 | 142 |
| |
116 | 143 |
| |
| 144 | + | |
117 | 145 |
| |
118 | 146 |
| |
| 147 | + | |
| 148 | + | |
| 149 | + | |
| 150 | + | |
| 151 | + | |
| 152 | + | |
| 153 | + | |
119 | 154 |
| |
120 | 155 |
| |
121 | 156 |
| |
122 | 157 |
| |
| 158 | + | |
| 159 | + | |
| 160 | + | |
| 161 | + | |
| 162 | + | |
| 163 | + | |
| 164 | + | |
123 | 165 |
| |
124 | 166 |
| |
125 | 167 |
| |
126 | 168 |
| |
127 | 169 |
| |
128 | 170 |
| |
129 | 171 |
| |
| 172 | + | |
130 | 173 |
| |
131 | 174 |
| |
132 | 175 |
| |
133 | 176 |
| |
134 | 177 |
| |
135 | 178 |
| |
136 | 179 |
| |
| 180 | + | |
137 | 181 |
| |
138 | 182 |
| |
139 | 183 |
| |
|
Lines changed: 1 addition & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
4 | 3 |
| |
5 | 4 |
| |
6 | 5 |
| |
7 | 6 |
| |
8 | 7 |
| |
9 |
| - | |
10 |
| - | |
| 8 | + | |
11 | 9 |
| |
12 | 10 |
|
Lines changed: 13 additions & 25 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
10 |
| - | |
11 |
| - | |
12 |
| - | |
13 |
| - | |
14 |
| - | |
15 |
| - | |
| 10 | + | |
16 | 11 |
| |
17 | 12 |
| |
18 | 13 |
| |
19 |
| - | |
20 |
| - | |
21 |
| - | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
22 | 17 |
| |
23 | 18 |
| |
24 | 19 |
| |
25 | 20 |
| |
26 | 21 |
| |
27 |
| - | |
28 |
| - | |
29 |
| - | |
30 |
| - | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
31 | 25 |
| |
32 |
| - | |
33 |
| - | |
34 |
| - | |
| 26 | + | |
35 | 27 |
| |
36 |
| - | |
37 |
| - | |
38 |
| - | |
| 28 | + | |
39 | 29 |
| |
40 |
| - | |
41 |
| - | |
42 |
| - | |
| 30 | + | |
43 | 31 |
| |
44 | 32 |
| |
45 | 33 |
| |
46 |
| - | |
47 |
| - | |
48 |
| - | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
49 | 37 |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
| 1 | + |
Lines changed: 4 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
2 | 6 |
| |
3 | 7 |
| |
4 | 8 |
| |
|
Lines changed: 13 additions & 13 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
1 | 2 |
| |
2 | 3 |
| |
3 |
| - | |
| 4 | + | |
4 | 5 |
| |
5 |
| - | |
| 6 | + | |
6 | 7 |
| |
7 | 8 |
| |
8 |
| - | |
| 9 | + | |
9 | 10 |
| |
10 | 11 |
| |
11 | 12 |
| |
12 |
| - | |
13 |
| - | |
14 |
| - | |
15 |
| - | |
16 |
| - | |
17 |
| - | |
18 |
| - | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
19 | 19 |
| |
20 |
| - | |
21 |
| - | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
22 | 23 |
| |
23 |
| - | |
24 | 24 |
|
Lines changed: 2 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
30 | 30 |
| |
31 | 31 |
| |
32 | 32 |
| |
| 33 | + | |
33 | 34 |
| |
34 | 35 |
| |
35 | 36 |
| |
36 | 37 |
| |
37 | 38 |
| |
| 39 | + | |
38 | 40 |
| |
39 | 41 |
| |
40 | 42 |
| |
|
0 commit comments