/agda

Latest Agda ThreadsTop

First poster: bot
agda-lecture-notes/agda.pdf at master · jespercockx/agda-lecture-notes. Agda lecture notes for the Functional Programming course at TU D...
New
First poster: bot
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
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! Top

HOT IN Agda THIS MONTH! Top

HOT IN Agda THIS YEAR! Top

HOT IN Agda THE LAST THREE YEARS! Top

First poster: bot
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! Top

AstonJ
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
First poster: bot
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
Forum Tags: #agda

"Agda is a dependently typed functional programming language"

  • Follow
  • Join
  • Shape
the conversation

Core Team Members

Portal Stewards

Latest Agda Jobs

Agda Events (WIP)

64 days remaining
Expo Vegas
Las Vegas June 13, 2020
183 days remaining
Developer Conference 2020
Rio de Janeiro October 15, 2020
289 days remaining
BigMeet 2021
Chicago Feb 25, 2021

My Saved Portals

    None saved yet

Top Sub Portals

    None added yet

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!

My Saved Portals

    None saved yet

Top Sub Portals

    None added yet