Are there examples Agda code running in production? [closed] September 4, 2023 by Tarik Are there examples Agda code running in production? [closed]