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
Teaching
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 06 April 2022