Content deleted Content added
Alexflatter (talk | contribs) No edit summary |
Hairy Dude (talk | contribs) infobox: + total Tags: Mobile edit Mobile web edit Advanced mobile edit |
||
Line 7:
| logo_size = 220px
| logo alt = A stylized chicken in black lines and dots, to the left of the name "Agda" in sans-serif test with the first letter slanted to the right.
| paradigm = [[
| designer = Ulf Norell; Catarina Coquand (1.0)
| developer = [[Chalmers University of Technology]]
| |||