I am working on type-changing operations for distributed data structures for my MSR internship, it's all going to be public and (hopefully) mechanised in Agda 😁
Conversation
woah does this mean you are wanting update types in a distributed system somehow?
1
2
Possibly? I never heard of update types, what are these?
1
1
oh lol I meant 'to update types' 😳
2
2
I am sorry I don't know of anything called 'update types' 😢
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
Show replies