试试 idris2
唉早知道就不折腾这种全世界都找不出一万个人在用的东西了.txt
Recent Posts
Tags
Algebraic Effects x1 Algorithm x1 Backend x1 Blog x4 C++ x4 Code x29 Community x2 Crystal x1 Decentralized x2 Fediverse x4 Frontend x5 Functional x8 Gleam x1 Haskell x1 Hexo x4 Idris x1 Javascript x1 Joke x1 Latex x1 Lean x4 Linux x1 Mastodon x1 Math x2 Misskey x2 MtF x1 Note x2 PL x10 Rust x2 Solution x2 SRS x1 Tools x1 Typography x1 Ubuntu x1 Vim x1 Vue x2 Windows x1 Zig x1 双语 x1 排版 x1 碎碎念 x1