March 18th, 2016

beartato phd

(no subject)

Starting to get stuck on how exactly to implement the type transformation I want to; it all looks so simple in string diagram form, but it's considerably trickier on actual debruijn terms.