aboutsummaryrefslogtreecommitdiff
path: root/lib/input_prompt.ml (follow)
Commit message (Collapse)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