Agda
Programming language
>
&tbnh=267&tbnw=189&usg=AI4_-kTsOF5J86p0GPdcCbybGxqoKuq5vA&vet=1&docid=2MBiwpI6SPxhxM&itg=1&sa=X&ved=2ahUKEwiQ_7WkyOGFAxX-g4kEHWoYA9sQ9QF6BAgAEAQ)
&h=1707&w=5217&tbnid=RfVzWfVQrhls5M&q=Agda+(programming+language)&tbnh=49&tbnw=150&usg=AI4_-kSstc5iKJ7XdyqRqUOqL4rQjahfUw&vet=1&docid=eVkTqyLvSoUDmM&sa=X&ved=2ahUKEwiQ_7WkyOGFAxX-g4kEHWoYA9sQ9QF6BAgAEAY){kind=logo}
![Introduction to Agda [1/5] - YouTube](/imgres?imgurl=https://i.ytimg.com/vi/shXKb2MTkUc/hqdefault.jpg&imgrefurl=https://m.youtube.com/watch?v%3DshXKb2MTkUc&h=360&w=480&tbnid=8CMae1sJlvEmoM&q=Agda+(programming+language)&tbnh=97&tbnw=129&usg=AI4_-kRZ4rVMuEYGvKSwBqJjYc4x5AcwzQ&vet=1&docid=KpPkPnSU9ntNQM&sa=X&ved=2ahUKEwiQ_7WkyOGFAxX-g4kEHWoYA9sQ9QF6BAgAEAg)
&tbnh=80&tbnw=150&usg=AI4_-kTMwEioiDD8ExNIXrflO7Ob1fMRoQ&vet=1&docid=bqoX2EZtq4CVnM&sa=X&ved=2ahUKEwiQ_7WkyOGFAxX-g4kEHWoYA9sQ9QF6BAgAEAo)
Agda is a dependently typed functional programming language originally developed by Ulf Norell at Chalmers University of Technology with implementation described in his PhD thesis. The original Agda system was developed at Chalmers by Catarina... Wikipedia
Developer: Ulf Norell; Catarina Coquand (1.0)
First appeared: 2007; 17 years ago (1.0 in 1999; 25 years ago)
Implementation language: Haskell
Paradigm: Functional
Stable release: 2.6.3 / January 30, 2023; 14 months ago