Stats
11
reputation
0
reached
0
answers
0
questions
About
Some arbitrary code: Python, Perl, Prolog, Haskell, Agda, Coq... Mostly academic stuff.
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
1
-
AutobiographerAug 31, 2021
Posts
This user hasn’t posted yet.
Top network posts
View all network posts