The license:code ratio gave me a laugh. Needs tail recursion though :P
This is incredibly hard to read for a colorblind person. It just looks bad. There are a few typos here. If I was a picky person, I wouldn’t take this seriously (and I’m a picky person).
EDIT: Okay I just read the whole thing properly I believe. This is satire, I am stupid. Please ignore.
You shouldn’t have edited, you were maintaining the sarcasm quite well. :)
Can someone please verify the implementation in Idris for me?