search

GillianPlatform / Gillian

The Gillian Platform main repository
https://GillianPlatform.github.io
BSD 3-Clause "New" or "Revised" License
78 stars 12 forks source link

Make debugger interface accessible via webserver #233

Open NatKarmios opened 1 year ago

NatKarmios commented 1 year ago

We don't actually need the interface to be embedded inside VSCode.

This isn't a priority, but it'd certainly be nice to have.