text editor inspired vim and yi

update flake.nix: Basically, we are going to use lean4 from elan.

Created by  4kusto  on March 9, 2026
UFZE2ZUJYMC4V7GKTSMKL7HNFTS3PY76OYGML7CGLU33Y66JKUEQC
In channels
main
Change contents