Open
polytypic
opened this issue 2 years ago
•
0 comments
This PR changes Kcas to use Picos instead of DLA and DLT for scheduler interop.
⚠️ This must obviously not be merged before at least a first release of Picos has been published on opam, but this should be ready enough for preliminary review.