Search: github.com/idris-lang | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

New JavaScript code generator in Idris 2 (github.com/idris-lang)

164 points

6 years ago

2.

Copatterns in Idris (github.com/idris-lang)

56 points

12 years ago

3.

Uniqueness types in Idris (github.com/idris-lang)

19 points

12 years ago

4.

Idris 2: a purely functional programming language with first class types (github.com/idris-lang)

4 points

4 years ago

5.

Idris2: A purely functional programming language with first class types (github.com/idris-lang)

3 points

3 years ago

6.

Idris Developers Meeting, April 2021 (github.com/idris-lang)

2 points

5 years ago

7.

Idris2 is now implemented in Idris2 (github.com/idris-lang)

1 point

6 years ago