Share :

pa-ba

Patrick Bahr

@pa-ba

Copenhagen, Denmark 🇩🇰

Refresh user

Last updated : 12:13AM UTC, Nov 11th 2021

180 - Rank 79 431 🌍

Haskell

Ranking:

World: 525 / 11059

Denmark 🇩🇰: 5 / 80

Copenhagen: 4 / 48

8 repositories

#525
121

Coq

Ranking:

World: 44 / 737

Denmark 🇩🇰: 2 / 13

Copenhagen: 1 / 3

6 repositories

#44
50

Idris

Ranking:

World: 80 / 311

Denmark 🇩🇰: 3 / 6

Copenhagen: 2 / 2

2 repositories

#80
9