Share :

carlostome

Carlos Tomé

@carlostome

Refresh user

Last updated : 12:09AM UTC, Sep 1st 2021

16 - Rank 381 637 🌍

Haskell

Ranking:

World: 2672 / 11059

3 repositories

#2672
9

Agda

Ranking:

World: 120 / 349

4 repositories

#120
7