Supporting code for an article series called "Types + Properties = Software"
Primary LanguageF#MIT LicenseMIT
Supporting code for an article series called Types + Properties = Software.