remove tip
Merge branch 'dev' of git@github.com:fengzishiren/tinylang.git into dev