YHacker Newsscreenshots

cure-lang.org on Hacker News

2 stories on the front page, newest first. Scroll down to watch the site change over time.

Screenshot of cure-lang.org: Erlang Meets Idris: Cure Programming Language

Erlang Meets Idris: Cure Programming Language (cure-lang.org)

41 points by delitrem 11 months ago | 27 comments

Screenshot of cure-lang.org: Cure – Verification-First Programming for the Beam

Cure – Verification-First Programming for the Beam (cure-lang.org)

9 points by tablets 11 months ago | 1 comments