Matus Goljer

@Fuco1337

Smartparens and Elsa developer, Emacs enthusiast. Fuco1@github. You can support my work on Patreon

Czech Rep / Bulgaria

Matus Goljer
@Fuco1337
Apr 2, 2024
Spring cleanup at @github , 50 issues down, 215 to go. Some long standing bugs (10+ years) finally fixed! (sorry everyone :blush:)
Matus Goljer
@Fuco1337
Apr 11, 2023
People have been asking how can they use the #Emacs cats package. I've prepared an example of term unification with state monad github.com/Fuco1/emacs-ca… and added some more sentences to the readme. If you have questions or some cool examples, share here or on GitHub!
Matus Goljer
@Fuco1337
Apr 10, 2023
The #Emacs github.com/Fuco1/emacs-ca… package was just accepted on Melpa 🎉
github.com
GitHub - Fuco1/emacs-cats: Functors, Monads, Categories for Emacs
Functors, Monads, Categories for Emacs. Contribute to Fuco1/emacs-cats development by creating an account on GitHub.
Matus Goljer
@Fuco1337
Apr 10, 2023
Still working on #Emacs #Elsa generic types... the 80/20 applies brutally here (it's rather more like 95/5) :D The 5% I've finished gives you a lot of milage, but the finishing grind is just brutal. Didn't make a single useful commit in 2 weeks, mostly just reading papers...
1
Matus Goljer
@Fuco1337
Apr 2, 2023
Still a lot of work to do, but somewhat the generics now work #emacs #elsa There is no extra code, everything is derived just from the types.