On boarding guide

Welcome to join Cozy project! To get started, please follow the following task items:

1. First week
   • Read User manual and synthesize the Basic.java. Please submit the generated java file to your research mentor
   • Read the first original paper about Cozy. Here is a tip on how to get started on this.
2. Second week:
   1. try to grab one of the following easier issues (note that asking what is unclear from the issue description is also an important part of solving an issue):
      • https://github.com/CozySynthesizer/cozy/issues/51
      • https://github.com/CozySynthesizer/cozy/issues/50
      • https://github.com/CozySynthesizer/cozy/issues/23
   2. Try to run cozy on https://github.com/CozySynthesizer/cozy/blob/master/examples/lsort.ds, tweak the spec code (.ds) and answer questions:
      • What is Bag?
      • Can Int be in Bag?
      • What would be different in the Java synthesis if use of sorted is removed from the spec? Why?