dysfun@treehouse.systems ("gaytabase") wrote:
some very naughty idris that ought to be quite fast https://gist.github.com/jjl/4775d44d1b6a0a875eaf1fbfb5fa5f60
dysfun@treehouse.systems ("gaytabase") wrote:
some very naughty idris that ought to be quite fast https://gist.github.com/jjl/4775d44d1b6a0a875eaf1fbfb5fa5f60