Idris (programming language): Difference between revisions

Revision as of 16:35, 23 April 2013

Revision as of 21:14, 27 April 2013

Line 1:

<!-- Please do not remove or change this AfD message until the issue is settled -->

{{Article for deletion/dated|page=Idris (programming language)|timestamp=20130427211441|year=2013|month=April|day=27|substed=yes|help=off}}

<!-- For administrator use only: {{Old AfD multi|page=Idris (programming language)|date=27 April 2013|result='''keep'''}} -->

<!-- End of AfD message, feel free to edit beyond this point -->

{{Infobox programming language

| name = Idris