dev资讯

Continue reading...

ITmedia�̓A�C�e�B���f�B�A�������Ђ̓o�^���W�ł��B

，这一点在PDF资料中也有详细论述

What is a CRDT?

Elaboration Zoo, some dependent type systems