Name:Unknown
Clan:Unknown
Skills:agda, haskell, being cringe, idris
Member Since:Nov 2019
Last Seen:Feb 2024
Profiles:
Following:1
Followers:1
Allies:1
Stats are being refreshed, your browser will reload soon...
Progress
Rank:1 kyu
Honor:4,780
Leaderboard Position:#1,898
Honor Percentile:Top 0.300%
Total Completed Kata:390
Languages:
Total Languages Trained:13
Highest Trained:Haskell (2 kyu)
Most Recent:Python
Contributions
Community:
Comments:0 (0 replies)
Collections:0
Kumite:3 (5 Started)
Translations:0 (0 approved)