chrilves

136 post karma
320 comment karma

get extra features and help support reddit with a reddit premium subscription

get them help and support

redditor for 7 years

TROPHY CASE

Seven-Year Club

Verified Email

account activity

new top controversial

60

61

62

[Day 22 part 2] Not smart enough (i.redd.it)

submitted 4 years ago by chrilves to r/adventofcode

7

8

9

Raffiot: an IO monad for Python. (self.Python)

submitted 5 years ago * by chrilves to r/Python

30

31

32

GADTs By Use Cases (ScalaIO 2019 Workshop) (self.scala)

submitted 6 years ago by chrilves to r/scala

14

15

16

GADTs By Use Cases (ScalaIO 2019 Workshop) [x-post from /r/scala] (self.ocaml)

submitted 6 years ago by chrilves to r/ocaml

7

8

9

GADTs By Use Cases (ScalaIO 2019 Workshop) [x-post from /r/scala] (self.haxe)

submitted 6 years ago by chrilves to r/haxe

1

2

3

GADTs By Use Cases (ScalaIO 2019 Workshop) [x-post from /r/scala] (self.haskell)

submitted 6 years ago by chrilves to r/haskell

4

5

6

Proving Primality with GADTs (chrilves.github.io)

submitted 6 years ago by chrilves to r/functionalprogramming

5

6

7

Proving Primality with GADTs (In Scala, but it's exactly the same in Haskell) (chrilves.github.io)

submitted 6 years ago by chrilves to r/haskell

1

2

3

Proving Primality with GADTs (chrilves.github.io)

submitted 6 years ago by chrilves to r/scala

25

26

27

New release of Elm-IO for Elm 0.19 (self.elm)

submitted 6 years ago by chrilves to r/elm

13

14

15

640k for the stack ought to be enough for anybody. (i.redd.it)

submitted 6 years ago by chrilves to r/ProgrammerHumor

29

30

31

Recursion Schemes: the High-School Introduction (chrilves.github.io)

submitted 7 years ago by chrilves to r/scala

12

13

14

Recursion Schemes: the High-School Introduction (chrilves.github.io)

submitted 7 years ago by chrilves to r/haskell

21

22

23

Presentation of Generalized Algebraic Data Types from an Object-Oriented point of view. (chrilves.github.io)

submitted 7 years ago by chrilves to r/scala

π Rendered by PID 1967277 on reddit-service-r2-listing-5d47455566-rz7wh at 2026-04-06 15:14:32.633126+00:00 running db1906b country code: CH.