1. 2
  1.  

  2. 1

    Really interesting post. I decided to give a shot at Idris, and it turns out that the implementation of the proposed code in it is super clean: barely 40 lines of code. I have published it here.