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