issues
search
advancedresearch
/
poi
a pragmatic point-free theorem prover assistant
Apache License 2.0
137
stars
7
forks
source link
Add try again in REPL
#898
Closed
bvssvni
closed
3 years ago
bvssvni
commented
3 years ago
An idea is to use
(space) to try again the last input.
An idea is to use
(space) to try again the last input.