import {
  require_idris
} from "/build/_shared/chunk-HGEHT3KY.js";
import "/build/_shared/chunk-YBDWJQ3I.js";
import "/build/_shared/chunk-PNG5AS42.js";
export default require_idris();
//# sourceMappingURL=/build/_shared/idris-MMJTDPOI.js.map
