Closed
Description
Maybe I'm just a monkey but I only just realised (seeing someone else do it) that there's lots of lovely, useful information if you scroll down in https://dotty.epfl.ch/. Perhaps there could be some visual cue.
Maybe I'm just a monkey but I only just realised (seeing someone else do it) that there's lots of lovely, useful information if you scroll down in https://dotty.epfl.ch/. Perhaps there could be some visual cue.