Skip to content

Idris company blog

Idris 1.0

idris-lang.org

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

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

Points: 324
HN comments: 65
Submissions: 1
Cited by: 0 commenters

Programming Languages 2017

On Hacker News

Submitted	Title on HN	Points	Comments
Apr 1, 2017	Idris 1.0 by insulanian	324	65

More from Idris

All 5 posts →

Idris 2 version 0.3.0

2021246 points2 comments Programming Languages details

Towards Idris Version 1.0

2016236 points49 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

Conversations with a six-year-old on functional programming

Brent Yorgey20182,074 points474 comments details

Grumpy: Go running Python

Google Open Source Blog20171,411 points451 commentscited by 4 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

Japanese writing system basics

Candy Japan2016961 points338 comments details

Julia 1.0

Julia Blog2018915 points434 comments details