issues
search
idris-hackers
/
idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
GNU General Public License v3.0
267
stars
70
forks
source link
Tests improvements
#579
Closed
keram
closed
1 year ago
keram
commented
1 year ago
Includes:
Simplify
idris-test-idris-type-search
Reduce random failures in
idris-test-idris-add-clause
Move test utils from idris-navigate.el to idris-test-utils.el and tests to idris-tests.el
Includes:
idris-test-idris-type-search
idris-test-idris-add-clause