Iโm a senior undergrad at Indiana University Bloomington, studying pure mathematics and computer science. I am looking for work --- please hire me.
ralsei / system-f-redex Goto Github PK
View Code? Open in Web Editor NEWThis project forked from ionathanch/system-f-redex
Church-style System F with definitions in Redex.