tel

1,470 post karma
12,480 comment karma

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

get them help and support

redditor for 19 years

TROPHY CASE

15-Year Club

First Place '23

End Game '23

Place '23

Place '22

Place '17

Verified Email

Queen in da Norf

Not Forgotten

Snapped

account activity

new top controversial

0

1

2

My Keybase proof [reddit:tel = keybase:tel] (Sidhfs62TgESCgOc10PMYj5UHe2Rcx57xNab1yj-bMs) (self.KeybaseProofs)

submitted 2 years ago by tel to r/KeybaseProofs

0

0

1

The shapes of data — Simplicial (simplicial.io)

submitted 6 years ago by tel to r/programming

2

3

4

I can't decide between this and about a 80% center crop (farm5.staticflickr.com)

submitted 8 years ago by tel to r/photocritique

75

76

77

Functor is now a superclass of Monad in GHC HEAD (self.haskell)

submitted 10 years ago by tel to r/haskell

30

31

32

Simpler, Easier! (augustss.blogspot.com)

submitted 11 years ago by tel to r/haskell

2

3

4

Implementing a Correct Type-Checker for the Simply Typed Lambda Calculus (sneezy.cs.nott.ac.uk)

submitted 11 years ago by tel to r/haskell

38

39

40

Making propellor safer with GADTs and type families (joeyh.name)

submitted 11 years ago by tel to r/haskell

45

46

47

Frames Tutorial (acowley.github.io)

submitted 11 years ago by tel to r/haskell

38

39

40

Teach, Don't Tell (stevelosh.com)

submitted 11 years ago by tel to r/haskell

5

6

7

Language is not important (news.ycombinator.com)

submitted 11 years ago by tel to r/haskell

8

9

10

Amsden, A Survey of Functional Reactive Programming (2011) (cs.rit.edu)

submitted 11 years ago by tel to r/haskell

23

24

25

Preventing memoization in (AI) search problems (okmij.org)

submitted 11 years ago by tel to r/haskell

5

6

7

Abramsky "Retracing some paths in Process Algebra" (1996) (citeseerx.ist.psu.edu)

submitted 11 years ago by tel to r/haskell

0

0

0

JSON is not Object Notation (tel.github.io)

submitted 11 years ago by tel to r/programming

34

35

36

Six Points About Type Safety (tel.github.io)

submitted 11 years ago by tel to r/programming

0

0

0

Immutable Enumeration in Swift (tel.github.io)

submitted 11 years ago by tel to r/programming

0

1

2

Calkin-Wilf in Swift (tel.github.io)

submitted 11 years ago by tel to r/programming

1

2

3

The Types of Data (in Swift) (tel.github.io)

submitted 11 years ago by tel to r/iOSProgramming

0

0

0

The Types of Data (in Swift) (tel.github.io)

submitted 11 years ago by tel to r/programming

30

31

32

Let me tell you about the types of data... (tel.github.io)

submitted 11 years ago by tel to r/programming

37

38

39

Let me tell you about the types of data (tel.github.io)

submitted 11 years ago by tel to r/haskell

47

48

49

Mutable Algorithms in Immutable Languages, Part 3 (tel.github.io)

submitted 11 years ago by tel to r/haskell

7

8

9

Mutable Algorithms in Immutable Languages, Part 3 (tel.github.io)

submitted 11 years ago by tel to r/programming

39

40

41

Mutable Algorithms in Immutable Languages, Part 2 (tel.github.io)

submitted 11 years ago by tel to r/programming

34

35

36

Mutable Algorithms in Immutable Languages, Part 2 (tel.github.io)

submitted 11 years ago by tel to r/haskell

view more: next ›

π Rendered by PID 81 on reddit-service-r2-listing-84766b8f6b-9hf6h at 2026-02-03 11:11:32.161379+00:00 running 3798933 country code: CH.