idris-hackers idris-mode issues

idris-hackers / idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

GNU General Public License v3.0

269 stars 71 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

When Idris returns no proof search, don't delete the metavar

#438 david-christiansen closed 6 years ago
2
Search failed with idris-make-lemma

#437 pmwhite closed 6 years ago
2
Fix byte-compile warning about deprecated feature

#436 syohex closed 8 years ago
2
Getting 'Must be an ibc' on 'C-c C-l`

#435 dredozubov closed 7 years ago
1
Give operator chars "." syntax and improve idris-thing-at-point

#434 tsdh closed 8 years ago
2
idris-add-clause and friends don't do the right thing with subword-mode enabled

#433 tsdh closed 7 years ago
8
LICENSE file

#432 langston-barrett closed 8 years ago
5
Fix typo in docstring

#431 steshaw closed 8 years ago
1
Totality check failure for vectTake

#430 shanemikel closed 8 years ago
1
Fix void-function error in idris-settings.el

#429 drvink closed 8 years ago
3
idris-proof-search deletes the hole when proof search returns no result

#428 enolan closed 6 years ago
1
Holes have wrong type

#427 houli closed 7 years ago
5
idris-make-lemma doesn't extract implict arguments

#426 xoltar opened 8 years ago
2
C-c C-s vs C-c C-a

#425 reuleaux closed 8 years ago
4
idris-case-dwim can cause variable name clash

#424 jasonhemann opened 8 years ago
1
loading file with holes causes error

#423 bixuanzju opened 8 years ago
14
display in browse isn't taking the implicitness into account

#422 jasonhemann closed 7 years ago
4
New custom option - "Stay in current window if compiler errors are detected."

#421 jhegedus42 closed 8 years ago
17
Update travis.yml for upstream changes

#420 david-christiansen closed 8 years ago
0
highlight new keywords

#419 negatratoron closed 8 years ago
3
Highlight the new export keyword

#418 colin-adams closed 8 years ago
4
Goals with function type are shown in a strange way

#417 kosmikus closed 8 years ago
6
Add a custom variable for jump to warning behavior

#416 aaronc opened 8 years ago
0
Delete semantic highlights on modification

#415 david-christiansen closed 9 years ago
0
Define 'idris-repl-clear-buffer'

#414 ghost closed 9 years ago
1
Use Cask for managing dependencies

#413 marsam closed 6 years ago
4
Use cl-lib macros instead of the cl ones

#412 marsam closed 6 years ago
6
Remove semantic overlays when modified

#411 david-christiansen closed 9 years ago
0
Timer for type checker

#410 david-christiansen opened 9 years ago
0
Add Info docs

#409 david-christiansen opened 9 years ago
0
Check port is number in Idris process filter

#408 marsam closed 9 years ago
9
function highlighting not working

#407 anthonyquizon closed 9 years ago
3
Don't fail when there's no pkgs option

#406 david-christiansen closed 9 years ago
0
Use the new pkgs field in ipkg files to compute flags

#405 david-christiansen closed 9 years ago
0
Make ipkg commands use idris-interpreter-path

#404 david-christiansen closed 9 years ago
2
iPKG Mode unable to find Idris executable.

#403 jfdm closed 9 years ago
4
C-u C-c C-l should flag the buffer as dirty

#402 david-christiansen opened 9 years ago
0
C-c C-l overwrites Idris code buffer with compiler messages and changes major mode

#401 kevinsullivan closed 6 years ago
9
git clone followed by make fails

#400 kevinsullivan closed 9 years ago
4
Conditional semantic faces for light/dark backgrounds

#399 BartAdv closed 9 years ago
1
Update readme.markdown

#398 slaven-s closed 9 years ago
2
Improve name reference commands

#397 david-christiansen closed 9 years ago
0
Fix term display in trees

#396 david-christiansen closed 9 years ago
0
Use annotations for Eldoc instead of compiler

#395 david-christiansen closed 9 years ago
1
Remove active term widgets

#394 david-christiansen opened 9 years ago
0
Add prop-menu for terms

#393 david-christiansen closed 9 years ago
1
Insert a newline after a proof script

#392 david-christiansen closed 9 years ago
0
Compute a default argument for browse-namespace

#391 david-christiansen closed 9 years ago
0
Improve reliability of REPL highlighting

#390 david-christiansen closed 9 years ago
0
Add namespace annotation to source

#389 david-christiansen closed 9 years ago
0

Previous Next