?

Log in

No account? Create an account
Starting to get stuck on how exactly to implement the type… - Notes from a Medium-Sized Island [entries|archive|friends|userinfo]
Jason

[ website | My Website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

[Mar. 18th, 2016|09:41 pm]
Jason
[Tags|]

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.
LinkReply