(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.
By logging in to LiveJournal using a third-party service you accept LiveJournal's User agreement