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: 2 July 2024 16:17 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 16:17, July 2, 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. 2 Jul 2024, 16:17 <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 2 July 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 July 2, 2024).
CBE/CSE style
Rosetta Code contributors. Tasks not implemented in Idris [Internet]. Rosetta Code; 2023 Mar 5, 12:58 UTC [cited 2024 Jul 2]. 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 July 2, 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 2-July-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 2-July-2024]" }