@jfdm
jfdm Merge pull request #621 from keram/issue-620
37c6b81 Aug 2, 2023
Merge pull request #621 from keram/issue-620 
Ensure that argument passed to idris-repl-insert-result is a string
37c6b81