Not sure if it's quite the same thing, but this is still up https://hy.readthedocs.io/en/stable/