path: root/src/toys/godel/js/main.js

import { GodelPlayground } from "./ui.js";

document.addEventListener("DOMContentLoaded", () => {
  new GodelPlayground();
});