Share :

intoverflow

Tim Carstens

@intoverflow

Seattle, WA 🇺🇸

Refresh user

Last updated : 12:02AM UTC, Aug 21st 2021

42 - Rank 213 381 🌍

Haskell

Ranking:

World: 1104 / 11059

United States of America 🇺🇸: 270 / 2084

Seattle: 8 / 103

2 repositories

#1104
41

Lean

Ranking:

World: 154 / 170

United States of America 🇺🇸: 37 / 38

Seattle: 5 / 5

1 repository

#154
1