Comment on Why is Idris 2 so much faster than Idris 1?parentComments−Buttons8406yIt's worth noting that the book is written by the creator of Idris.
Comments
It's worth noting that the book is written by the creator of Idris.