sfj on Why is Idris 2 so much faster than Idris 1? · Hackerly

Skip to content

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

Comment on Why is Idris 2 so much faster than Idris 1?parent

Comments

Compared to Haskell, it was slow indeed.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.