Amélia Liao ICFP@plt_amy·Jun 24, 2021invented maths is equivalent to, and thus, indiscernible from, discovered maths521
Brendan Zabarauskas@brendanzabReplying to @plt_amyFeel like this about invention and discovery in general tbh10:06 PM · Jun 24, 2021·Twitter Web App1 Like
