Comment on Why is Idris 2 so much faster than Idris 1?parentComments−xuejie6yThanks guys for the explanation! I truly have misunderstood this post.
Comments
Thanks guys for the explanation! I truly have misunderstood this post.