Agda

• Install
  • $ sudo dnf install Agda
  • VSCode extensions: agda-mode and Generic Input Method
• Introduction to Univalent Foundations of Mathematics with Agda
• Programming Language Foundations in Agda
• Agda mode for VSCode
  • invitation to port it to intellij-dtlc
• Agda Documentation
• Learn You An Agda