Zulip Chat Archive
Stream: general
Topic: emacs feature request: lean+org integration
Joseph Corneli (Apr 03 2019 at 10:59):
I described a feature request here: live, literate, lean programming with org-mode - I thought I'd share it here as well as on the Emacs StackExchange site.
Last updated: May 02 2025 at 03:31 UTC