An enumerative synthesizer for recovering Excel formulas from CSVs.
Primary LanguageOCamlMIT LicenseMIT