Comentr
$5WQDs9rqRK
log in
sign up
Technology
Join this community
Share Community
Report Community
10
Report
Why is Idris 2 so much faster than Idris 1?
5 years ago
Anonymous
$-9GJQVHNr8
https://www.type-driven.org.uk/edwinb/why-is-idris-2-so-much-faster-than-idris-1.html
×
Save changes
Cancel
0
Comments
14
Voters
×
Comment
Comment Anonymously
0
Sorted By
Score
Score
Confidence
Controversy
Best Rated
Worst Rated
Newest
Oldest
Most Upvoted
Most Downvoted
80
Per Page
80
160
240
×
Reply
Reply Anonymously
Cancel
×
Save changes
Cancel