Content deleted Content added
added categories |
added infobox |
||
Line 1:
{{Infobox programming language
| name = Agda
| paradigm =
| year =
| designer =
| developer =
| latest_release_version = 2.2.2
| latest_release_date = {{release_date|2009|04|16}}
| latest_test_version =
| latest_test_date =
| typing =
| implementations =
| dialects =
| influenced =
| influenced_by =
| operating_system =
| license =
| website = [http://wiki.portal.chalmers.se/agda/ Agda wiki]
| file ext = .agda, .lagda
| operating_system = [[Cross-platform]]
}}
[[Image:Agda proof.jpg|thumb|300px|right|Excerpt of a proof in '''agda2''']]
| |||