asajeffrey

Alan Jeffrey

Joined crates-io 5 years ago. Joined GitHub 10 years ago.

Member of GitHub orgs

agda, Servo, dfrp

Collaborated with

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