Submissions from idris-lang.org

		Version 0.9.13 of the dependently-typed functional language Idris released (idris-lang.org)
		2 points by jobstijl on June 4, 2014 \| past
		Idris 0.9.12 released (idris-lang.org)
		2 points by tikhonj on April 5, 2014 \| past
		Idris 0.9.11.1 released (idris-lang.org)
		3 points by lelf on Feb 4, 2014 \| past
		Idris - Pure functional programming language with dependent types (idris-lang.org)
		2 points by dmmalam on Jan 2, 2014 \| past
		Idris: general purpose pure functional lang with dependent types. (idris-lang.org)
		3 points by spooneybarger on Oct 4, 2013 \| past
		Idris - Pure Functional Programming Language (idris-lang.org)
		2 points by christianbryant on July 18, 2013 \| past
		A language with dependent types (idris-lang.org)
		1 point by kenhty on Nov 5, 2012 \| past
		Idris - pure functional programming language with dependent types (idris-lang.org)
		74 points by alrex021 on Jan 19, 2012 \| past \| 15 comments