# projedi/Agda-2.3.2.2-haskell-export

> Experiment on exporting Agda into Haskell(a la Coq Extraction) based on Agda 2.3.2.2

- **Canonical URL**: https://githubrepo.cloud/repo/projedi/Agda-2.3.2.2-haskell-export
- **GitHub Repository**: https://github.com/projedi/Agda-2.3.2.2-haskell-export
- **Maintainer / Creator**: https://github.com/projedi
- **Discovered On**: Sep 30, 2026

---
*Indexed by GitHubRepo (https://githubrepo.cloud). Real-time open-source discovery & telemetry.*