Remove obsolete comment (we separate Holes and Vars now!).
success a day ago
Remove obsolete comment (we separate Holes and Vars now!).
failed a day ago
Remove obsolete comment (we separate Holes and Vars now!).
failed a day ago
Remove obsolete comment (we separate Holes and Vars now!).
failed a day ago
Tuple and variable patterns.
success 2 days ago
Tuple and variable patterns.
failed 2 days ago
Tuple and variable patterns.
failed 2 days ago
Tuple and variable patterns.
failed 2 days ago
Start of a sketchzone-based try.sylvan-lang.org.
failed 2 days ago
Start of a sketchzone-based try.sylvan-lang.org.
cancelled 2 days ago
Start of a sketchzone-based try.sylvan-lang.org.
failed 2 days ago
Start of a sketchzone-based try.sylvan-lang.org.
failed 2 days ago
Other website tweaks.
failed 2 days ago
Other website tweaks.
failed 2 days ago