# Verified Functional Programming in Agda ![[cover-calibre-322.jpg|256]] ## Metadata **Source**:: #from/calibre **Kind**:: #books **Generated by**:: [[ob-calibre]] **Status**:: #x **Date Read**:: [[2025-04-19]] **Tags**:: #tech **Pages**:: 284 **Progress**:: <progress value="0" max="100"></progress> **Title**:: Verified Functional Programming in Agda **Authors**:: [[Aaron Stump]] **Publisher**:: [[ACM]] **Published**:: [[2016-01-29]] **Updated**:: [[2020-04-03]] **Languages**:: #lang/en **Formats**:: #format/pdf **Cover**:: cover-calibre-322.jpg **Dropbox Directory**:: [Open Directory in Dropbox](https://www.dropbox.com/home/Calibre%20Library/Aaron%20Stump/Verified%20Functional%20Programming%20in%20Agda%20%28322%29) **macOS Local Directory**:: [Open Directory Locally](file://C%3A/Users/me/Dropbox/Calibre%20Library/Aaron%20Stump/Verified%20Functional%20Programming%20in%20Agda%20%28322%29) **Calibre Link**:: [Open in Calibre](calibre://show-book/Calibre_Library/322)