All pull requests

Pull requests

• Installation on Vim 8.

  #31·domandlj opened Aug 31, 2022·

  ·

• Add 'proof' keyword

  #30·eayus opened Oct 14, 2021·

  ·

• Explain that <LocalLeader> is \ by default

  #29·joliss opened May 21, 2021·

  ·

• Fix bug in IWrite causing Idris to not see changes.

  #28·CodingCellist opened May 7, 2021·

  ·

• Help with Pathogen

  #27·stepancheg opened Jan 22, 2021·

  ·

• Documentation: Add skeleton for interface

  #25·JonathanLorimer opened Jan 6, 2021·

  ·

• Refactor and add the TypeAt command

  #24·GustavoMF31 opened Jan 3, 2021·

  ·

• Make idris-response buffer better behaved in terms of buflist and jumplist

  #22·maurges opened Dec 19, 2020·

  ·

• Fix a very minor typo in the syntax file

  #21·isti115 opened Dec 10, 2020·

  ·

• Fix positional error mentioned in #19

  #20·WizardOfMenlo opened Dec 3, 2020·

  ·
  1

• Fix mapping for adding initial clause

  #13·vmarkushin opened Jun 6, 2020·

  ·
  1