Revision as of 10:33, 9 February 2025 edit Matt Wilkinsson (talk \| contribs) 548 edits No edit summary Tag: Reverted ← Previous edit		Revision as of 22:41, 9 February 2025 edit undo 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 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