import { require_agda } from './chunk-DIIOUOO6.mjs'; import './chunk-JRLSWQMA.mjs'; var agdaLHW6QPHN = require_agda(); export { agdaLHW6QPHN as default };