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

HK

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

6 years ago

164 points

2.

Copatterns in Idris

github.com/idris-lang

12 years ago

56 points

3.

Uniqueness types in Idris

github.com/idris-lang

12 years ago

19 points

4.

Idris 2: a purely functional programming language with first class types

github.com/idris-lang

4 years ago

4 points

5.

Idris2: A purely functional programming language with first class types

github.com/idris-lang

3 years ago

3 points

6.

Idris Developers Meeting, April 2021

github.com/idris-lang

5 years ago

2 points

7.

Idris2 is now implemented in Idris2

github.com/idris-lang

6 years ago

1 points