Home

Work, life and ramblings of a maladaptive daydreamer. Join me as I write software, games, libraries and explore the wonderful world of Category and Homotopy Type Theory.