Trying to figure out this #idris thing… gist.github.com/bjz/26ba244159 - hacked it until it worked, but I’m not sure about line 22… /cc
Conversation
Well - I just realised I forgot to put `%default total` on - kind of wish that was the default -_-
1
1
Replying to