title: How to save python dictionary into json files?
body: <p>I have a dictionary, for example:</p>
  
  <pre><code>a = {'a':1,'b':2,'c':3}
  </code></pre>
  
  <p>And I want it to be saved in a json file.</p>
  
  <p>How can I do this with the original python json library?</p>
  
  <p>Please note that I am running Python 3.5.2, which has a build-in json library.</p>