pony

Pony devcontainer.json

Here’s a bare bones VS Code devcontainer.json for Pony, mostly so that I can easily copy and paste it in the future. { "name": "Pony", "image": "docker.io/ponylang/ponyc", "settings": {}, "extensions": [ "npruehs.pony" ] }