Martian time in Hare (2022)

11 points by runxiyu