import {
  require_idris
} from "/build/_shared/chunk-3GCBIXLN.js";
import "/build/_shared/chunk-5H2QM73Q.js";
import "/build/_shared/chunk-RODUX5XG.js";
export default require_idris();
//# sourceMappingURL=/build/_shared/idris-IVKS2LIV.js.map
