Cite This Page

Bibliographic details for Agda2

Page name: Agda2
Author: Rosetta Code contributors
Publisher: Rosetta Code, .
Date of last revision: 23 February 2014 19:25 UTC
Date retrieved: 28 January 2023 02:53 UTC
Permanent URL: https://rosettacode.org/w/index.php?title=Agda2&oldid=240716
Page Version ID: 240716

Citation styles for Agda2

APA style

Agda2. (2014, February 23). Rosetta Code, . Retrieved 02:53, January 28, 2023 from https://rosettacode.org/w/index.php?title=Agda2&oldid=240716.

MLA style

"Agda2." Rosetta Code, . 23 Feb 2014, 19:25 UTC. 28 Jan 2023, 02:53 <https://rosettacode.org/w/index.php?title=Agda2&oldid=240716>.

MHRA style

Rosetta Code contributors, 'Agda2', Rosetta Code, , 23 February 2014, 19:25 UTC, <https://rosettacode.org/w/index.php?title=Agda2&oldid=240716> [accessed 28 January 2023]

Chicago style

Rosetta Code contributors, "Agda2," Rosetta Code, , https://rosettacode.org/w/index.php?title=Agda2&oldid=240716 (accessed January 28, 2023).

CBE/CSE style

Rosetta Code contributors. Agda2 [Internet]. Rosetta Code, ; 2014 Feb 23, 19:25 UTC [cited 2023 Jan 28]. Available from: https://rosettacode.org/w/index.php?title=Agda2&oldid=240716.

Bluebook style

Agda2, https://rosettacode.org/w/index.php?title=Agda2&oldid=240716 (last visited January 28, 2023).

BibTeX entry

 @misc{ wiki:xxx,
   author = "Rosetta Code",
   title = "Agda2 --- Rosetta Code{,} ",
   year = "2014",
   url = "https://rosettacode.org/w/index.php?title=Agda2&oldid=240716",
   note = "[Online; accessed 28-January-2023]"
 }

When using the LaTeX package url (\usepackage{url} somewhere in the preamble) which tends to give much more nicely formatted web addresses, the following may be preferred:

 @misc{ wiki:xxx,
   author = "Rosetta Code",
   title = "Agda2 --- Rosetta Code{,} ",
   year = "2014",
   url = "\url{https://rosettacode.org/w/index.php?title=Agda2&oldid=240716}",
   note = "[Online; accessed 28-January-2023]"
 }