Rare card
Agda (programming language)
- Value
- 50 W
- Attack
- 773
- Defence
- 619
- Players
- 0
Agda is a dependently typed functional programming language originally developed by Ulf Norell at Chalmers University of Technology with implementation described in his PhD thesis. The original Agda system was developed at Chalmers by Catarina Coquand in 1999.
Get Agda (programming language) in your collection
Every Wikilord card is a Wikipedia article. Open packs for free, trade, battle and climb the leaderboard.
Open a free pack