About G. Allais
Lecturer in CS
#Idris 2 dev, all my toots are proven correct
Lists
{username} has no public lists
Timeline
{username} has no activity yet
Lecturer in CS
#Idris 2 dev, all my toots are proven correct
{username} has no public lists
{username} has no activity yet