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:

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

@lenary More than twice as fast as Idris 2, but the more important bit is that it's much better at not evaluating.

Sign in to participate in the conversation

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