Vasiliy Yorkin

Also, the book itself needs to be updated along with the examples (after upgrading examples I suppose)

getting the same error, here is my config: ``` (use-package cycle-themes :init (setq cycle-themes-theme-list '(base16-chalk-theme base16-default-dark-theme base16-grayscale-dark-theme base16-pop-theme base16-tomorrow-night-theme base16-irblack-theme)) :config (cycle-themes-mode)) ```

I was 100% sure I checked this view as well... Thanks! Fixed ✅

the updated PR: #767 @zerts can I close this one?

Just tried cloning the repo and running `call_julia` example, and it fails with the same error on my machine: https://asciinema.org/a/I4msnifn6DduKY8rWdJ00rTcR

Maybe there is some magic inside that julia github action that makes the env different to what I have following the official installation instructions here https://julialang.org/downloads/platform/#macos. ``` $ which julia...

I'm sure this path is correct: ``` echo $DYLD_LIBRARY_PATH /Applications/Julia-1.9.app/Contents/Resources/julia/include/julia:/Applications/Julia-1.9.app/Contents/Resources/julia/lib/julia ``` Because: ``` $ echo $DYLD_LIBRARY_PATH /Applications/Julia-1.9.app/Contents/Resources/julia/include/julia $ cd /Applications/Julia-1.9.app/Contents/Resources/julia/include/julia $ ls | grep uv uv uv.h $ cd cd...

No, unfortunately

Ah, I see, the latest release doesn't support lean4 frontend. I had to install `alectryon` from a local clone and then it asks for `leanInk`