Name | Date | Size | |
---|---|---|---|
.. | 10-Aug-2018 | 12 KiB | |
C.jaif | 10-Aug-2018 | 396 | |
C0.goal | 10-Aug-2018 | 19 | |
C0.java | 10-Aug-2018 | 19 | |
C1.goal | 10-Aug-2018 | 240 | |
C1.java | 10-Aug-2018 | 158 | |
Makefile | 10-Aug-2018 | 2.3 KiB | |
README.md | 10-Aug-2018 | 300 |
README.md
1For motivation/explanation, see 2[Issue 111](https://github.com/typetools/annotation-tools/issues/111). 3(Note that `C2` in the linked issue became `C0` here because the outcome 4depends on the order of the arguments, and `Makefile` passes the files 5to the annotator in reverse lexicographical order.) 6 7