Revision as of 18:06, 26 April 2009 edit 195.169.209.189 (talk) added infobox ← Previous edit		Revision as of 18:07, 26 April 2009 edit undo 195.169.209.189 (talk) added influenced_by Next edit →
Line 13: \| dialects = \| influenced = \| influenced_by = [[Epigram]] \| operating_system = \| license =

Agda (programming language): Difference between revisions