试试 idris2
唉早知道就不折腾这种全世界都找不出一万个人在用的东西了.txt
Idris
Posts 1
Idris
Recent Posts
Tags
AI x1Algebraic Effects x1Algorithm x1Backend x1Blog x4C++ x4Code x29Community x2Crystal x1Decentralized x2Fediverse x4Frontend x5Functional x8Gleam x1Haskell x1Hexo x4Idris x1Javascript x1Joke x1Latex x1Lean x4Linux x2Mastodon x1Math x2Misskey x2MtF x1Nix x1Note x2PL x10Rust x2Solution x2SRS x1Tools x1Typography x1Ubuntu x1Vim x1Vue x2Windows x1Zig x1双语 x1排版 x1碎碎念 x1