meraymond2/idris-ide-client

Issues

• Update tests

  #45 opened 2 years ago by meraymond2
  0

• Idris2 support

  #11 opened 5 years ago by meraymond2
  6

• Idris2 :version unrecognised

  #19 opened 4 years ago by meraymond2
  2

• Add Clause can fail in Idris2

  #25 opened 4 years ago by meraymond2
  3

• Idris2 :load-file behaviour

  #14 opened 4 years ago by meraymond2
  2

• Idris2 :interpret result doesn't include type

  #16 opened 4 years ago by meraymond2
  1

• Idris2 :make-lemma looks broken

  #17 opened 4 years ago by meraymond2
  1

• Idris2 :make-with looks broken

  #18 opened 4 years ago by meraymond2
  1

• Idris2 :case-split

  #15 opened 4 years ago by meraymond2
  1

• export all types from reply

  #3 opened 4 years ago by archaeron
  1

• Handle Windows newlines

  #20 opened 4 years ago by melted
  7

• Reply sum types need a discriminator

  #5 opened 5 years ago by archaeron
  2

• Talk to Idris via a socket instead of stdout

  #2 opened 5 years ago by archaeron
  1

• Ability to load additional idris packages

  #1 opened 5 years ago by archaeron
  3

• Reconsider return type of loadFile

  #4 opened 5 years ago by meraymond2
  0