aboutsummaryrefslogtreecommitdiff
path: root/lib/input_prompt.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Input Prompt: Implement left and right arrowMarc Coquand2024-05-301-8/+30
* Prompt: Fix visualMarc Coquand2024-05-181-5/+11
* Rename screen -> PromptMarc Coquand2024-05-151-0/+38