-
Stars5
-
Global Rank 1,435,387 (Top 50 %)
-
Followers 27
-
Following 11
-
Registered about 11 years ago
-
Most used languagesAgda 66.7 %Haskell33.3 %
-
Location π³π± Netherlands
-
Country Total Rank 15,586
-
Country RankingAgda 10Haskell213
