agda-2VJNV7U4.js 155 B

123456
  1. import { require_agda } from './chunk-UTFQTWVZ.js';
  2. import './chunk-BS5JN4MX.js';
  3. var agda2VJNV7U4 = require_agda();
  4. export { agda2VJNV7U4 as default };