User Twan van Laarhoven - Software Engineering Stack Exchange

Twan van Laarhoven

Member for 9 years, 4 months
Last seen more than a month ago

Network profile

Stats

101

reputation

0

reached

0

answers

0

questions

Communities

Badges

This user doesn’t have any gold badges yet.

This user doesn’t have any silver badges yet.

1

bronze badge

Supporter

Jul 17, 2014

Posts

This user hasn’t posted yet.

Top network posts

View all network posts

73

What does this list permutations implementation in Haskell exactly do?

14

Types containing with/rewrite clauses in agda, or, how to use rewrite instead of subst?

13

Strange error when trying to make 16-tuple in Haskell

11

Overlapping instances by turning Monads into Semigroups

11

Understanding Haskell's `toUpper`