Agda Programming

General

• Agda (programming language)
  en.wikipedia.org/wiki
• Agda documentation
  agda.readthedocs.io
• An introduction to dependent types in Agda by Andreas Abel
  www2.tcs.ifi.lmu.de
• Agda tutorial by Péter Diviánszky
  people.inf.elte.hu
• Programming Language Foundations in Agda
  plfa.github.io
• A Taste of Agda
  agda.readthedocs.io
• Lectures on Agda
  www.mathstat.dal.ca
• Programming (Languages in Agda)
  www.youtube.com/watch
• Verified Functional Programming in Agda (book)
  dl.acm.org/doi/book
• Certainty by Construction - Software and Mathematics in Agda (book)
  leanpub.com
• Computer Aided Formal Reasoning
  people.cs.nott.ac.uk
• Dependently typed programming in Agda by Conor McBride
  www.youtube.com/playlist
• Type-driven development in Idris (book)
  www.manning.com/books
• Certified programming with dependent types (book)
  adam.chlipala.net

Got some input?

If you have suggestions, questions, recommendations, feedback or want to send a message to us for another reason, feel free to Contact Us (no spam please).

Please note that we do not guarantee a reply, but if you have a more serious inquiry, then be sure to leave your fully contact information.