Michael issues

Repositories
Issues
Comments

Results 3 issues of


                                            Michael

getting lunatic-python to work with luajit

Hi! I'm trying to use luajit with lunatic-python to access torch from the python side. I found that I had to make these changes: - in setup.py, add 'luajit' to...

folding doesn't seem to work with the many-star style

folding with alt-ctrl-[ and alt-ctrl-] works in this style: ``` * bake cake * buy flour * buy sugar ``` ...but not with this style: ``` * bake cake **...

I can't find the extension in the marketplace

Hi. I'm trying to install the unison extension for vscode on linux. I press ctrl-P, and paste `ext install unison-lang.unison`. It opens the extensions search window and shows me exactly...