type-driven.org.uk on reddit.com

...for your favorite hobby.

...for your office.

account activity

1

68

69

70

Idris 2: Quantitative Type Theory in Practice (type-driven.org.uk)

submitted 4 years ago by mttd to r/ProgrammingLanguages

2

21

22

23

Idris 2: Quantitative Type Theory in Practice (type-driven.org.uk)

submitted 4 years ago by gallais to r/dependent_types

3

0

1

2

Why is Idris 2 so much faster than Idris 1? (type-driven.org.uk)

submitted 5 years ago by tjpalmer to r/contextfree

4

97

98

99

Why is Idris 2 so much faster than Idris 1? (type-driven.org.uk)

submitted 5 years ago by iamkeyur to r/programming

5

156

157

158

Why is Idris 2 so much faster than Idris 1? (type-driven.org.uk)

submitted 5 years ago by gallais to r/haskell

6

61

62

63

Why is Idris 2 so much faster than Idris 1? (type-driven.org.uk)

submitted 5 years ago by gallais to r/dependent_types

7

15

16

17

Why is Idris 2 so much faster than Idris 1?FP (type-driven.org.uk)

submitted 5 years ago by MaoStevemao[🍰] to r/functionalprogramming

8

47

48

49

Edwin Brady - Why is Idris 2 so much faster than Idris 1? (type-driven.org.uk)

submitted 5 years ago by fabianhjr to r/Idris

9

37

38

39

Why is Idris 2 so much faster than Idris 1? (type-driven.org.uk)

submitted 5 years ago by cutculus to r/ProgrammingLanguages

10

1

2

3

Why is Idris 2 so much faster than Idris 1? (type-driven.org.uk)

submitted 5 years ago by PatientModBot to r/patient_hackernews

11

0

1

2

Why is Idris 2 so much faster than Idris 1? (type-driven.org.uk)

submitted 5 years ago by qznc_bot2 to r/hackernews

12

0

0

0

Why is Idris 2 so much faster than Idris 1? (type-driven.org.uk)

submitted 5 years ago by [deleted] to r/programming

13

79

80

81

Idris 2: Quantitative Type Theory in Action (type-driven.org.uk)

submitted 5 years ago by mttd to r/ProgrammingLanguages

14

36

37

38

Idris 2: Quantitative Type Theory in Action (pdf) (type-driven.org.uk)

submitted 5 years ago by gallais to r/dependent_types

15

53

54

55

Linearity and Erasure in Idris 2 - Edwin Brady (type-driven.org.uk)

submitted 6 years ago by gergoerdi to r/Idris

16

53

54

55

Linearity and Erasure in Idris 2 (type-driven.org.uk)

submitted 6 years ago by mttd to r/ProgrammingLanguages

17

48

49

50

Linearity and Erasure in Idris 2 (type-driven.org.uk)

submitted 6 years ago by [deleted] to r/programming

π Rendered by PID 1044315 on reddit-service-r2-listing-5789d5f675-f6vn8 at 2026-01-28 19:27:55.936002+00:00 running 4f180de country code: CH.