:PROPERTIES: :ID: 0f71a1c3-958b-4895-86b9-33d225a393ea :mtime: 20230920102016 20230919150707 :ctime: 20230919150702 :END: #+title: Agda #+filetags: :public:project: * About Agda Agda is a programming langauge * Features of Agda - Dependent Types - Strict/total termination checking