~/jendhub

LAWS.bend

bend-kit-scheduler@0.4.1.0 · 3 lines · 0 definitions

1# Quantified queue and recurrence contracts for issue #382.
2import bend-kit-scheduler@0.4.1.0/queue_laws.bend as Queue
3import bend-kit-scheduler@0.4.1.0/recurrence_laws.bend as Recurrence