Why is Idris 2 so much faster than Idris 1?

submitted by /u/devops1011
[link] [comments]

from programming https://ift.tt/2XqSimg