Mekeor Melire on Nostr: i haven't written much #lean in #emacs but i did not like the code and architecture ...
i haven't written much #lean in #emacs but i did not like the code and architecture of lean4-mode. i forked its fork and radically reduced it to a minimum by leveraging emacs' built-in facilities like eglot and eldoc and project.el. if you use lean4-mode, i'd very much appreciate if you can try it out and give some feedback on this:
https://codeberg.org/mekeor/naelPublished at
2024-06-12 23:01:36Event JSON
{
"id": "f22d45223855e34168441ca95df9fb5d94e3c5e117120a6878c2f5a7024fbfa4",
"pubkey": "7a8173792a71210640848de1bd3797a9b57ca6906a14285760c0bc0a2d950bae",
"created_at": 1718233296,
"kind": 1,
"tags": [
[
"t",
"lean"
],
[
"t",
"emacs"
],
[
"proxy",
"https://mastodon.catgirl.cloud/users/mekeor/statuses/112606137347111262",
"activitypub"
]
],
"content": "i haven't written much #lean in #emacs but i did not like the code and architecture of lean4-mode. i forked its fork and radically reduced it to a minimum by leveraging emacs' built-in facilities like eglot and eldoc and project.el. if you use lean4-mode, i'd very much appreciate if you can try it out and give some feedback on this: https://codeberg.org/mekeor/nael",
"sig": "701c1784a01cf7c9866e17c2072478aed233fa3c841f6f3b481a2ca91b8b1dee075e7a8af069d82ca21a741c62e8fd058b34bc9cf741f5c7df97aa82f9347d46"
}
