A Rust implementation of Sumit Gulwani. Automating string processing in spreadsheets using input-output examples. POPL'11.
Primary LanguageRustMIT LicenseMIT