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

  }
  {
    'name'  : 'constant.language.Type.fstar'
    'match' : 'Type'
  }
  {
      'name'  : 'constant.language.monad.fstar'

    'name'  : 'keyword.other.fstar'
    'match' : '\\b(opaque|logic|requires|ensures|modifies|match|with|and|kind|\
                  type|val|open|module|effect|default|new_effect|sub_effect|\
                  total|private|begin|end|decreases)\\b'
  }
  {
    'name'  : 'constant.numeric.integer.decimal.fstar'
