ClueHacker News
Archiveverified release

Idris: A language for type-driven development

Posted by peter_d_sherman on 2023-01-20 · idris-lang.org

Discussion record

Score
275
Comments
185
Read
185

The discussion on Hacker News · The article

Full-thread reading

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.