Idris2/tests/ideMode
Edwin Brady fe602caa2c
Merge pull request #765 from ShinKage/ide-mode
IDEMode syntax option and fixed output
2021-01-12 10:39:44 +00:00
..
ideMode001 Merge pull request #765 from ShinKage/ide-mode 2021-01-12 10:39:44 +00:00
ideMode002 Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
ideMode003 Added assert_linear. (#844) 2020-12-13 16:06:18 +00:00
ideMode004 Fix ide mode repl not converting escaped characters (#665) 2020-09-16 10:55:44 +01:00