/agda
![Logo/Symbol Agda logo](/assets/portals/agda-e002ba3911c986d94f467b0c80395e177d3be83360ea8d47e49ef8402a619b38.png)
Hot in Agda:
Latest Agda Threads![Back to top Top](/assets/icons/icon-up-e2babcf250498ca19d9fcfb14ea82c7b14fc5156edfb8aec389fbf5be553d061.png)
![CommunityNews](https://forum.devtalk.com/user_avatar/forum.devtalk.com/CommunityNews/120/1113_2.png)
agda-lecture-notes/agda.pdf at master · jespercockx/agda-lecture-notes.
Agda lecture notes for the Functional Programming course at TU D...
New
![CommunityNews](https://forum.devtalk.com/user_avatar/forum.devtalk.com/CommunityNews/120/1113_2.png)
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
![AstonJ](https://forum.devtalk.com/user_avatar/forum.devtalk.com/AstonJ/120/7_2.png)
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!
![AstonJ](https://forum.devtalk.com/user_avatar/forum.devtalk.com/AstonJ/120/7_2.png)
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
![CommunityNews](https://forum.devtalk.com/user_avatar/forum.devtalk.com/CommunityNews/120/1113_2.png)
agda-lecture-notes/agda.pdf at master · jespercockx/agda-lecture-notes.
Agda lecture notes for the Functional Programming course at TU D...
New
Agda
Classification:
Programming Language
Forum Category:
Backend
Threads:
3
"Agda is a dependently typed functional programming language"
- Follow
- Join
- Shape
the conversation
Latest Agda Jobs
Agda Events (WIP)
Get money off!
![](/assets/discounts/logo-pragprog-e2f9c555cf054b1bd6bf9875d757a13d9eb4abb8313ffa439feabaf3ed463947.png)
The Pragmatic Bookshelf
35% off any eBook
![](/assets/discounts/logo-manning-62c6ac17f631df7cb9f5a73ae688cf03ce7cc2e5f24fd8fa4811061341a332e7.png)
Manning Publications
45% off any item
![](/assets/discounts/logo-pragstudio-d1e7525ffdd0b7884f96231c4ecdd24f28612733870134ed62c4513ef59c0e42.png)
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!
![](/assets/misc/snapshot-soon-417cc6d809486a79a25fb2e0de76d7e1f44bc26963401d7a14af31251133d693.jpg)
Filter by Type:
My Saved Portals
-
None saved yet