:PROPERTIES: :ID: b747d7e8-e5a7-4977-8656-b824d57f8de7 :mtime: 20230922114004 20230919150831 :ctime: 20230919150752 :END: #+title: standard library of Agda #+filetags: :public:project: This is the standard library of [[id:0f71a1c3-958b-4895-86b9-33d225a393ea][Agda]]. * External Link The Agda standard library is stored at https://agda.github.io/agda-stdlib/.