Ilya Shchepetkov

icon indicating a website link https://codeberg.org/17451k icon indicating an email [email protected]

icon location Formal verification engineer

Results 3 comments of Ilya Shchepetkov

Racket: Mark all quoted symbols as @symbol

@Lazerbeak12345 Thanks for checking! I've changed the PR to exclude changes to the Strings, now they will look more like in DrRacket.

Racket: Mark all quoted symbols as @symbol

Yep, I didn't change the highlighting of other primitive types, nut in neovim they are already highlighted as symbols regardless of whether they are quoted or not.

Intercept build commands using ptrace

I apologize for the lack of response - I no longer actively maintain this project due to a job change. Thanks for the suggestion though, maybe I will follow up...