@storybook/addon-storysource/dist/agda-2VJNV7U4.js

View a story’s source code to see how it works and paste into your app

import { require_agda } from './chunk-UTFQTWVZ.js';
import './chunk-BS5JN4MX.js';

var agda2VJNV7U4 = require_agda();

export { agda2VJNV7U4 as default };