Toggle navigation
Home
About
Subscribe (RSS)
Categories
Architecture
Backends
Clouds
Conferences
Distribution and Distributed Systems
Formats
Game Development
Hardware
Languages
Libraries
Places of interest on the Internet
Platforms
Presentation
Reading
Storage
Tools
Virtual Machines
All Tags
All Pages
Agda
A dependent types language.
Website
Reading
Agda Tutorial
Programming Language Foundations in Agda
- Philip Wadler and Wen Kokke
Tags:
language
Last modified 28 January 2022