filecoin-project/specs-actors

DEPRECATED Specification of builtin actors, in the form of executable code.