| Wed, 23 Aug 2023 03:02:31 +0100 | Chengsong | added technical Overview section, almost done introduction | file | diff | annotate |
| Tue, 25 Jul 2023 17:28:29 +0100 | Chengsong | added example of how inj and lexer works | file | diff | annotate |
| Sun, 09 Jul 2023 00:29:02 +0100 | Chengsong | Fixed some annotated/unannotated a/r notation inconsistencies. | file | diff | annotate |
| Thu, 29 Jun 2023 04:17:48 +0100 | Chengsong | more updates in section 4.2 and incorporating Christian comments | file | diff | annotate |