Added a README.
Added a dependency on the checker framework.
Added an empty program enumerate.
Added the Enumerate example.
Inlined local variable to avoid explicit typing.
Added a program to understand the behavior of Julia.
Added an example for nullness of array elements.
Added a program to test an issue in perimeter.
Added a code example to show the problem with annotating code that is not type-checkable.
Updated to checker framework v1.7.0.
Updated the path to checkers javac.
Extracted the checker into a separate variable.
Added a program to illustrate the problem with setting the default qualifiers of Javari.