Draft proposal for smart pipelines, including formal specification.
Primary LanguageHTMLMIT LicenseMIT