Tutorial Blog Posts

Deriving Monad Comprehension

comprehend 再多，却无可 comprehend 她的心。#油腻 #普信 #🤢

Jun 27, 2025

Tutorial

再学一次Vim

这将是你的最后一篇Vim教程(Hopefully)

Apr 30, 2023

Vim

Tutorial

配置 Clangd 为 Lean 写 FFI

Clangd is great. Very responsive.

Mar 6, 2025

Tutorial