Typo in https detection
Added recipe.mli