emptyflash/ivor

Issues

• Documentation

  #3 opened 6 years ago
  4

• ivor does not find Idris dependencies?

  #2 opened 7 years ago
  2

• problem building Docker image

  #1 opened 7 years ago
  1