Erlang Meets Idris: Cure Programming Languagecure-lang.org
43 points by delitrem 4 hours ago | 32 comments