4 ms·

Hope to see you again at the Idris stop!, or will you be getting off the bus after everyone has turned into OCaml?