• the world wide web

  • interested in lisp, python, formal languages, category theory

  • Joined on 2022年08月16日