 
 'name': 'F*'
 
-'fileTypes': ['fst']
+'fileTypes': ['fst', 'fsi']
 
 'editor':
   'commentStart' : '\\(\\*'

  }
  {
    'name'  : 'keyword.logical-connective.fstar'
    'match' : '(==>|<==>|\\\\/|/\\\\|forall|exists)'
  }
  {
    'name'  : 'variable.other.generic-type.fstar'

  }
  {
    'name'  : 'constant.language.Type.fstar'
    'match' : '\\b(Type)\\b'
  }
  {
      'name'  : 'constant.language.monad.fstar'
