• "we've been doing some of the hardest math possible, just disguised as Haskell code."

  • Joined on 2024-04-06
Latin-Japanese translation of Summa Theologiae
Updated 2026-08-05 12:31:46 +00:00