Thanks to @fearful-odds.rocks I switched from merlin (maybe misconfigurated) to eglot and I got a much better experience editing OCaml code in GNU Emacs.
Daniel Brunner
Daniel Brunner
@dbrunner.de
I ❤️ CS, Econ, programming in 🐪️/F# (still a fan of Common Lisp/Scheme/Racket). Located in 🇩🇪️, he/him. https://www.dbrunner.de
139 followers441 following60 posts
If you're interested in how to implement programming languages give @andrejbauer.mathstodon.xyz.ap.brid.gy's "Programming Languages Zoo" (small languages to demonstrate techniques, written in OCaml) a try. I used his MiniML implementation for my course in functional programming.
Letzte Woche war ich zu einem Vortrag an der Uni Halle eingeladen, zu einem Leitfaden zu Dachgenossenschaften, an dem ich im Jahr 2007 mitgeschrieben habe. Es war toll zu sehen, was in der Zwischenzeit in der Praxis so damit geschehen ist. Link zu Folien&Leitfaden: www.dbrunner.de/blog/2023/11...
You are up to date.