edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-12-29 15:52:29 +03:00
Code Issues Projects Releases Wiki Activity
141c52ded7
Idris2-boot/tests/ideMode/ideMode002/expected.in

4 lines
80 B
Plaintext
Raw Normal View History

provide Version command in ide-mode
2019-08-28 16:30:13 +03:00
000018(:protocol-version 2 0)
Add optional version tag when build in between releases Also add REPL :version command to show the current version
2019-09-27 19:26:04 +03:00
__EXPECTED_LINE__
provide Version command in ide-mode
2019-08-28 16:30:13 +03:00
Alas the file is done, aborting
Reference in New Issue Copy Permalink