jeslie0

Mathematics graduate with a passion for functional programming and dependent type theory. Software consultant by day.

Waymont ConsultingGuildford, UK