@tty the k programming language website: https://web.archive.org/web/20230319114341/https://kparc.com/