idris-lang.org
↩

Idris: A language for type-driven development
2023-01-20 06:13:39 (Hacker News)
Source: Hacker News
Idris 2 version 0.6.0 Released
2022-10-30 08:42:58 (Hacker News)
Source: Hacker News

↩