spacemacs layer

Stream: new members

[Jared Corduan]

Has anyone here made a spacemacs layer for lean that they would be willing to share? I'm a long time vim user who has just started reading about spacemacs & emacs last week in order to use lean. I found https://github.com/jroesch/layer-lean, but I couldn't get it to work. I'm probably just making silly errors since I'm still unfamiliar with spacemacs. I'll keep reading the documentation until I figure it out, but if anyone can speed me along that would be much appreciated.

[Simon Hudon]

I see the last commit is from one year ago. Lean has changed a lot in the last year. That might be the problem. Maybe you should contact the author to see if he intends to update it.

[Gabriel Ebner]

I think @Sebastian Ullrich uses spacemacs. You might want to look at his configuration for inspiration. Most of lean-mode works out of the box.

[Jared Corduan]

great, thank you!

[Rudi Grinberg]

I didn't have much luck with that layer either but I ended up taking the keyboard shortcuts it provides