import { require_agda } from './chunk-JZSNSJJZ.js';
import './chunk-CFLTNKIO.js';

var agda2MYPN7W5 = require_agda();

export { agda2MYPN7W5 as default };