Implement ready simulation ? #32
Description
We may want to implement the ready simulation rather than the complete one as per Sangiorgi's introduction to coinduction.
{{ message }}
We may want to implement the ready simulation rather than the complete one as per Sangiorgi's introduction to coinduction.