Share :

fredefox

Frederik Hanghøj Iversen

@fredefox

Copenhagen, Denmark 🇩🇰

Refresh user

Last updated : 12:11AM UTC, Aug 27th 2021

55 - Rank 179 127 🌍

Agda

Ranking:

World: 30 / 349

Denmark 🇩🇰: 1 / 6

Copenhagen: 1 / 2

1 repository

#30
51

Haskell

Ranking:

World: 3875 / 11059

Denmark 🇩🇰: 40 / 80

Copenhagen: 29 / 48

4 repositories

#3875
4