| Mode | Name | Size |
| -rw-r--r-- | .gitignore | 3L |
| -rw-r--r-- | goal.txt | 1L |
| -rw-r--r-- | language2.bnf | 106L |
| -rw-r--r-- | language2.mty | 44L |
| -rw-r--r-- | lexer.mty | 124L |
| -rw-r--r-- | mtc/go.mod | 3L |
| -rw-r--r-- | mtc/lexer/lexer.go | 223L |
| -rw-r--r-- | mtc/main.go | 27L |
| -rw-r--r-- | mtc/makefile | 2L |
| -rwxr-xr-x | mtc/mighty | 2526946B |
| -rw-r--r-- | mtc/parser/parser.go | 180L |
| -rw-r--r-- | mtc/target.mty | 12L |
| -rw-r--r-- | mtc/test.mty | 6L |
| -rw-r--r-- | notes.md | 90L |
| -rw-r--r-- | old/old-language.bnf | 335L |
| -rw-r--r-- | old/old-language.mty | 134L |
