Agda Archives - LinuxLinks

Excellent Free Tutorials to Learn Agda

December 29, 2020 Erik Karlsson Programming, Tutorials

Agda is a dependently typed functional programming language based on intuitionistic type theory.

4 Excellent Free Books to Learn Agda and Type Theory

June 9, 2020 Erik Karlsson Books, Programming

Agda is a dependently typed functional programming language based on intuitionistic Type Theory. Here’s our recommended free books to learn about Agda and Type Theory.

Documents	Internet	Education
Audio	Video	Graphics
Admin	Desktop	Productivity
Science	Games	Security
Utilities	Coding	Finance
Web Apps	Other	Books

Google	Microsoft	Apple
Adobe	IBM	Autodesk
Oracle	Atlassian	Corel
Cisco	Intuit	SAS