ksqsf
ksqsf
p89 `while let A(x) | B(x) = expr {...` 等价代码实为 `if let` 等价代码
改善在 Linux 下的使用体验。
The following command ``` brew install emacs-plus@29 --with-native-comp ``` installs all info files into `/usr/local/Cellar/emacs-plus@29/29.0.50/share/info/emacs`. However, this directory does not include a `dir` file, and the info reader will hence...
The following piece of code is a direct replay of [The Trouble of Typing Type as Type](http://liamoc.net/posts/2015-09-10-girards-paradox.html) in Cicada. ``` datatype Set { set(X: Type, y: (X) -> Set): Set...
``` datatype Bool { true: Bool false: Bool } datatype Nat { zero: Bool suc(pred: Nat): Bool } check! Nat.zero : Bool ``` Is this expected behavior?
I changed the default target dir in `~/.cargo/config` ``` [build] target-dir = "~/.cache/cargo" ``` remacs seems to use the default path regardless of this setting. ``` CCLD etags clang: error:...
Hi, I want to enhance my treemacs experience by adding the current project automatically to an appropriate workspace, that is 1. If it's already a project in a workspace: jump...
I use mpv instead of mplayer so I changed nyan-mode a little bit. I hope this change is small enough not to disturb mplayer users. :-)
目前是手动查看击键，如达标则 Ctrl-J，不达标就 Ctrl-K。希望可以增加自动打乱/换组的功能，进一步提高单字练习效率。 其他跟打器一般有类似这样的功能：
Currently, it looks like this: