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:


@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.