Rosetta Code

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: 24 May 2024 12:38 UTC
  • Permanent URL: https://rosettacode.org/wiki/Agda2?oldid=240716
  • Page Version ID: 240716

Citation styles for Agda2

APA style

Agda2. (2014, February 23). Rosetta Code. Retrieved 12:38, May 24, 2024 from https://rosettacode.org/wiki/Agda2?oldid=240716.

MLA style

"Agda2." Rosetta Code. 23 Feb 2014, 19:25 UTC. 24 May 2024, 12:38 <https://rosettacode.org/wiki/Agda2?oldid=240716>.

MHRA style

Rosetta Code contributors, 'Agda2', Rosetta Code, 23 February 2014, 19:25 UTC, <https://rosettacode.org/wiki/Agda2?oldid=240716> [accessed 24 May 2024]

Chicago style

Rosetta Code contributors, "Agda2," Rosetta Code, https://rosettacode.org/wiki/Agda2?oldid=240716 (accessed May 24, 2024).

CBE/CSE style

Rosetta Code contributors. Agda2 [Internet]. Rosetta Code; 2014 Feb 23, 19:25 UTC [cited 2024 May 24]. Available from: https://rosettacode.org/wiki/Agda2?oldid=240716.

Bluebook style

Agda2, https://rosettacode.org/wiki/Agda2?oldid=240716 (last visited May 24, 2024).

BibTeX entry

 @misc{ wiki:xxx,
   author = "Rosetta Code",
   title = "Agda2 --- Rosetta Code{,} ",
   year = "2014",
   url = "https://rosettacode.org/wiki/Agda2?oldid=240716",
   note = "[Online; accessed 24-May-2024]"
 }

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/wiki/Agda2?oldid=240716}",
   note = "[Online; accessed 24-May-2024]"
 }


Retrieved from "https://rosettacode.org/wiki/Special:CiteThisPage"