3 ms·My experience with Dr Racket is the same.by mitch_br 6y agoMy experience with Dr Racket is the same.