A Nestable UI for Partial Example Description (Prototype)


    • filling in the blanks on an example input to complete the example
    • dragging example inputs over blanks to nest structure

    This UI lets users flesh out specific structures in a way that gives the computer the opportunity to help them in filling in the example. The user can partially fill in an input and have the computer fill in the rest. They can also constrain parts of the input to be equal (e.g. make that 'AddExp' and this 'MulExp' contain the same text). This allows for more fine-grained interactions with an example generation system.