Cite This Page

Jump to navigation Jump to search

Bibliographic details for Haskell Equational Reasoning Assistant

Citation styles for Haskell Equational Reasoning Assistant

APA style

Haskell Equational Reasoning Assistant. (2023, June 8). HaskellWiki, . Retrieved 09:19, October 31, 2024 from https://wiki.haskell.org/index.php?title=Haskell_Equational_Reasoning_Assistant&oldid=65931.

MLA style

"Haskell Equational Reasoning Assistant." HaskellWiki, . 8 Jun 2023, 06:14 UTC. 31 Oct 2024, 09:19 <https://wiki.haskell.org/index.php?title=Haskell_Equational_Reasoning_Assistant&oldid=65931>.

MHRA style

HaskellWiki contributors, 'Haskell Equational Reasoning Assistant', HaskellWiki, , 8 June 2023, 06:14 UTC, <https://wiki.haskell.org/index.php?title=Haskell_Equational_Reasoning_Assistant&oldid=65931> [accessed 31 October 2024]

Chicago style

HaskellWiki contributors, "Haskell Equational Reasoning Assistant," HaskellWiki, , https://wiki.haskell.org/index.php?title=Haskell_Equational_Reasoning_Assistant&oldid=65931 (accessed October 31, 2024).

CBE/CSE style

HaskellWiki contributors. Haskell Equational Reasoning Assistant [Internet]. HaskellWiki, ; 2023 Jun 8, 06:14 UTC [cited 2024 Oct 31]. Available from: https://wiki.haskell.org/index.php?title=Haskell_Equational_Reasoning_Assistant&oldid=65931.

Bluebook style

Haskell Equational Reasoning Assistant, https://wiki.haskell.org/index.php?title=Haskell_Equational_Reasoning_Assistant&oldid=65931 (last visited October 31, 2024).

BibTeX entry

 @misc{ wiki:xxx,
   author = "HaskellWiki",
   title = "Haskell Equational Reasoning Assistant --- HaskellWiki{,} ",
   year = "2023",
   url = "https://wiki.haskell.org/index.php?title=Haskell_Equational_Reasoning_Assistant&oldid=65931",
   note = "[Online; accessed 31-October-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 = "HaskellWiki",
   title = "Haskell Equational Reasoning Assistant --- HaskellWiki{,} ",
   year = "2023",
   url = "\url{https://wiki.haskell.org/index.php?title=Haskell_Equational_Reasoning_Assistant&oldid=65931}",
   note = "[Online; accessed 31-October-2024]"
 }


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