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
Replying to
woah does this mean you are wanting update types in a distributed system somehow?
oh lol I meant 'to update types' 😳
2
2
Show replies