The lambda term is accessible via analyses[0].proof.term. Basically, it is the part after the turnstile symbol ('⊢') of the line that you see at the bottom of the generated PDF (in red).
The words and their types can be extracted using [(p.string, p.type) for p in analyses[0].lexical_phrases ]. Æthel or Spindle should provide a method that turns the resulting objects into strings that can be sent to the frontend. There, they should be displayed in a simple table format.
These should be the main exports of a parse. Generating TeX and/or a PDF should only be available after an additional action/click.
The lambda term is accessible via
analyses[0].proof.term
. Basically, it is the part after the turnstile symbol ('⊢') of the line that you see at the bottom of the generated PDF (in red).The words and their types can be extracted using
[(p.string, p.type) for p in analyses[0].lexical_phrases ]
. Æthel or Spindle should provide a method that turns the resulting objects into strings that can be sent to the frontend. There, they should be displayed in a simple table format.These should be the main exports of a parse. Generating TeX and/or a PDF should only be available after an additional action/click.