Erlang Meets Idris: Cure Programming Language

(cure-lang.org) by delitrem | Nov 6, 2025 | 33 comments on HN