@[email protected]
Joined: 04/06/2017
528
Followers
181
Following
Lecturer in CS#Idris 2 dev, all my toots are proven correct
gallais has no public lists
gallais has no activity yet