I've been making convoluted programs for adding up numbers since around 2000. Getting extravagant now, they have as many as five (count 'em, five!) figures. :idris:

Follow

I might even be able to move on to the interesting bit soon...

Sign in to participate in the conversation
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.