Xu Xue (@juniorxxue) 's Twitter Profile
Xu Xue

@juniorxxue

Haskell; Agda; Racket

ID: 1351213797575372816

linkhttp://types.hk calendar_today18-01-2021 17:04:15

56 Tweet

60 Followers

129 Following