Marty Stumpf
Software engineer. Loves FP Haskell Coq Agda PLT. Always learning. Prior: Economist. Vegan, WOC in solidarity with POC.
Joined on May, 2018•16 repositories
Pull Requests
223
Code Reviews
766
Top Repositories
#
Repository
Stars
Forks
Issues (open)
Contributors