Skip to content
0.10.0
Giovanni Ciatto's avatar
Giovanni Ciatto
@gciatto-unibo
355e12a0 · ignore testTimeout3 and testTimeout4 for :solve-streams · 
+ repl
+ examples
+ sleep/1
+ fix timeouts in interactive mode