/agda
Hot in Agda:
Latest Agda Threads
agda-lecture-notes/agda.pdf at master · jespercockx/agda-lecture-notes.
Agda lecture notes for the Functional Programming course at TU D...
New
These are the extended notes for the INF551 course which I taught at École Polytechnique starting from 2019. The goal is to give a first ...
New
Inspired by this post from @Carter, which languages, frameworks or other tech or tools do you think is killing it right now? :upside_down...
New
HOT IN Agda THIS WEEK!
HOT IN Agda THIS MONTH!
HOT IN Agda THIS YEAR!
HOT IN Agda THE LAST THREE YEARS!
agda-lecture-notes/agda.pdf at master · jespercockx/agda-lecture-notes.
Agda lecture notes for the Functional Programming course at TU D...
New
HOT IN Agda THIS Over 3 Years!
Inspired by this post from @Carter, which languages, frameworks or other tech or tools do you think is killing it right now? :upside_down...
New
These are the extended notes for the INF551 course which I taught at École Polytechnique starting from 2019. The goal is to give a first ...
New
Agda
Classification:
Programming Language
Forum Category:
Backend
Threads:
3
Posts:
52
"Agda is a dependently typed functional programming language"
- Follow
- Join
- Shape
the conversation
Core Team Members
Portal Stewards
Latest Agda Jobs
Agda Events (WIP)
Get money off!
The Pragmatic Bookshelf
35% off any eBook
The Pragmatic Studio
20% off any course
Simply use coupon code "devtalk.com" at checkout. Where applicable this coupon can be used for an many items and as many times as you like!
Filter by Type:
My Saved Portals
Devtalk Sponsors
Practical resources that improve the lives of professional developers.
We build trusted fault-tolerant systems that scale to billions of users.
Catch errors, track performance, monitor hosts and more.
Enabling companies to succeed by building software people love.
Courses that'll move you from confusion to "Aha, now I get it!"