Jiecheng Z

增加打字数据监控

3

在打字数据监控中增加两个字段，一个是 hidding 表示单词隐藏状态，一个是 hasPeeked 表示是不是偷看过单词拼写。 另外在分析界面加了一个链接来下载数据。 不知道为什么动到了yarn，也不知道怎么在浏览器端使用buffer，所以用了btoa。*所以这里需要帮忙* 改动的目的是希望对自己的打字练习做更好的数据分析，最后希望可以自动化喂词和评估。

Sorry, I ignore the hint in the `( )`. I think it would be more easier to catch if just put the hint in the code like other exercises. For...

`lake exe i18n --export-json` does not support `#~`

2

``lake exe i18n --export-json` failed on https://github.com/JiechengZhao/NNG4/commit/d4d1e19f13f58263df5790c33dd6621d9aac0b2a . ``` jiecheng@jiecheng-Vostro-3420:~/workspace/lean/lean4games/NNG4$ lake exe i18n --export-json PANIC at I18n.POFile.read I18n.PO.Read:289:4: Failed to parse PO file: offset 200468: unexpected comment format. backtrace: ./.lake/packages/i18n/.lake/build/bin/i18n(lean_panic_fn+0x9e)[0x616baa681a4e]...

Maybe typo. The functions defined in the previous section shall be right, but here, the functions will give unwanted result. Before. ``` bin/ │ hello.hash │ hello.trace │ hello ```...