Why is Idris 2 so much faster than Idris 1?

Posted by culturedsystems on 2020-05-25 · type-driven.org.uk

Discussion record

The captured thread is incomplete, so Clue is withholding a summary rather than presenting a partial account as complete.

The summary gate never changes the score, comment count, story metadata, or retained-history figures above.