programs/idris.json

   1 {
   2     "name": "idris",
   3     "files": [
   4         {
   5             "path": "$HOME/.idris",
   6             "movable": false,
   7             "help": "Currently unsupported.\n\n_Relevant pull request_ https://github.com/idris-lang/Idris-dev/pull/3456\n"
   8         }
   9     ]
  10 }