asajeffrey

Alan Jeffrey

Joined crates-io 6 years ago. Joined GitHub 11 years ago.

Member of GitHub orgs

agda, Servo, dfrp

Collaborated with

metajack, fitzgen, simonsapin, kmcallister, larsbergstrom, pcwalton, manishearth, bholley