Open elpiel opened 2 months ago
A big leap forward on the effort to make all StreamSource state transitions valid. This is the first step before encoding the state transitions to the type system.
A big leap forward on the effort to make all StreamSource state transitions valid. This is the first step before encoding the state transitions to the type system.