Valery Cherepanov
Results
2
issues of
Valery Cherepanov
Hi, I have a Phaser 3 project in JS and I want to try to move it to typescript. Unfortunately, I am not able to figure out how to import...
I installed idris2-nvim and it seems to mostly work (e.g. if I have a syntax error it highlights the line and shows error). However, if I do idris2.hover.open_split(), it opens...