asajeffrey

Alan Jeffrey

Joined crates-io 7 years ago. Joined GitHub 12 years ago.

Member of GitHub orgs

agda, Servo, dfrp

Collaborated with

metajack, fitzgen, kmcallister, pcwalton, Manishearth, larsbergstrom, bholley, SimonSapin, jdm