Cite This Page
Bibliographic details for Tasks not implemented in Idris
- Page name: Tasks not implemented in Idris
- Author: Rosetta Code contributors
- Publisher: Rosetta Code.
- Date of last revision: 5 March 2023 12:58 UTC
- Date retrieved: 7 June 2024 23:13 UTC
- Permanent URL: https://rosettacode.org/wiki/Tasks_not_implemented_in_Idris?oldid=338261
- Page Version ID: 338261
Citation styles for Tasks not implemented in Idris
APA style
Tasks not implemented in Idris. (2023, March 5). Rosetta Code. Retrieved 23:13, June 7, 2024 from https://rosettacode.org/wiki/Tasks_not_implemented_in_Idris?oldid=338261.
MLA style
"Tasks not implemented in Idris." Rosetta Code. 5 Mar 2023, 12:58 UTC. 7 Jun 2024, 23:13 <https://rosettacode.org/wiki/Tasks_not_implemented_in_Idris?oldid=338261>.
MHRA style
Rosetta Code contributors, 'Tasks not implemented in Idris', Rosetta Code, 5 March 2023, 12:58 UTC, <https://rosettacode.org/wiki/Tasks_not_implemented_in_Idris?oldid=338261> [accessed 7 June 2024]
Chicago style
Rosetta Code contributors, "Tasks not implemented in Idris," Rosetta Code, https://rosettacode.org/wiki/Tasks_not_implemented_in_Idris?oldid=338261 (accessed June 7, 2024).
CBE/CSE style
Rosetta Code contributors. Tasks not implemented in Idris [Internet]. Rosetta Code; 2023 Mar 5, 12:58 UTC [cited 2024 Jun 7]. Available from: https://rosettacode.org/wiki/Tasks_not_implemented_in_Idris?oldid=338261.
Bluebook style
Tasks not implemented in Idris, https://rosettacode.org/wiki/Tasks_not_implemented_in_Idris?oldid=338261 (last visited June 7, 2024).
BibTeX entry
@misc{ wiki:xxx, author = "Rosetta Code", title = "Tasks not implemented in Idris --- Rosetta Code{,} ", year = "2023", url = "https://rosettacode.org/wiki/Tasks_not_implemented_in_Idris?oldid=338261", note = "[Online; accessed 7-June-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 = "Tasks not implemented in Idris --- Rosetta Code{,} ", year = "2023", url = "\url{https://rosettacode.org/wiki/Tasks_not_implemented_in_Idris?oldid=338261}", note = "[Online; accessed 7-June-2024]" }