Skip to content

Idris company blog

Towards Idris Version 1.0

idris-lang.org

Read on idris-lang.org → Discuss on HN (49) Archived copy

The original page did not respond normally when we last checked (HTTP 404). The archived copy may help.

Points: 236
HN comments: 49
Submissions: 1
Cited by: 0 commenters

Programming Languages 2016

On Hacker News

Submitted	Title on HN	Points	Comments
Nov 30, 2016	Towards Idris Version 1.0 by yomritoyj	236	49

More from Idris

All 5 posts →

Idris 1.0

2017324 points65 comments Programming Languages details

Idris 2 version 0.3.0

2021246 points2 comments Programming Languages details

Idris 2 version 0.2.1

2020129 points16 comments Programming Languages details

Idris 0.9.15 released – partial evaluation and uniqueness types

2014103 points9 comments Programming Languages details

Related posts from the same era

Grumpy: Go running Python

Google Open Source Blog20171,411 points451 commentscited by 4 details

Announcing Rust 1.0

Rust Blog20151,363 points306 commentscited by 7 details

“Swift will be open source later this year”

Apple Newsroom20151,334 points548 comments details

Node v4.0.0

Node.js Blog20151,248 points267 comments details

PowerShell is open sourced and is available on Linux

Microsoft Azure Blog20161,217 points760 commentscited by 4 details

How to C in 2016

Matt Stancliff20161,145 points581 commentscited by 11 details