import { require_idris } from './chunk-RTK5Y4TG.js';
import './chunk-YDZRL6ZL.js';
import './chunk-CFLTNKIO.js';

var idrisF7WFS7MK = require_idris();

export { idrisF7WFS7MK as default };