Kolja Strohm
|
55079f49d8
add getFirstElement to XML Editor and getChildIndex to XML Element and fix Maybe type
|
1 年之前 |
Kolja Strohm
|
a532168d2f
apply new code formatter
|
2 年之前 |
Kolja Strohm
|
ee20648e63
threads can now be named for debugging
|
2 年之前 |
Kolja Strohm
|
b3629693f0
fixed compiler errors
|
3 年之前 |
Kolja Strohm
|
e0aff43ea6
add useful operators to Either an Maybe
|
3 年之前 |
Kolja Strohm
|
7a664a142b
add Either and Maybe types
|
3 年之前 |