Submissions from github.com/idris-lang

		Idris2: A purely functional programming language with first class types (github.com/idris-lang)
		3 points by tosh 11 months ago \| past
		Idris 2: a purely functional programming language with first class types (github.com/idris-lang)
		4 points by pretext on Nov 16, 2022 \| past
		Idris Developers Meeting, April 2021 (github.com/idris-lang)
		2 points by ska80 on March 9, 2021 \| past
		New JavaScript code generator in Idris 2 (github.com/idris-lang)
		164 points by ska80 on July 9, 2020 \| past \| 27 comments
		Idris2 is now implemented in Idris2 (github.com/idris-lang)
		1 point by jobstijl on May 20, 2020 \| past
		Uniqueness types in Idris (github.com/idris-lang)
		19 points by steveklabnik on Oct 27, 2014 \| past
		Copatterns in Idris (github.com/idris-lang)
		56 points by lelf on Sept 10, 2014 \| past \| 13 comments