Type inference for upcoming calflow library

microsoft / task_oriented_dialogue_as_dataflow_synthesis

Code to reproduce experiments in the paper "Task-Oriented Dialogue as Dataflow Synthesis" (TACL 2020).

MIT License

308 stars 66 forks source link

Closed adampauls closed 3 years ago

adampauls commented 3 years ago

Adds support for a typesystem defined in Lispress. I tested this locally on a lispress version of the library for Calflow and it seems to work.