Add pict/code/eval with typeset-interaction, a la scribble/eval - #8
Open
lexi-lambda wants to merge 2 commits into
Open
Add pict/code/eval with typeset-interaction, a la scribble/eval#8lexi-lambda wants to merge 2 commits into
lexi-lambda wants to merge 2 commits into