agda-LHW6QPHN.mjs 157 B

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