Revision as of 22:41, 9 February 2025 edit IceWelder (talk \| contribs) Autopatrolled, Extended confirmed users, Page movers, File movers, New page reviewers, Pending changes reviewers, Rollbackers, Template editors 127,773 edits m →top: remove arbitrary fixed sizes Tags: AWB Manual revert Reverted ← Previous edit		Revision as of 10:15, 20 February 2025 edit undo Alexflatter (talk \| contribs) 690 edits No edit summary Tag: Manual revert Next edit →
Line 5: \| name = Agda \| logo = Agda's official logo.svg \| 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 = [[Functional programming\|Functional]]

Agda (programming language): Difference between revisions