parent
b43bd3b636
commit
61776a72d9
@ -0,0 +1,12 @@ |
|||||||
|
build: |
||||||
|
pandoc \
|
||||||
|
--bibliography db.bib \
|
||||||
|
--bibliography design.bib \
|
||||||
|
--bibliography fp.bib \
|
||||||
|
--bibliography sink.bib \
|
||||||
|
--bibliography langs/haskell.bib \
|
||||||
|
--bibliography langs/R.bib \
|
||||||
|
--citeproc \
|
||||||
|
--csl=jcsl.csl \
|
||||||
|
-o README.html \
|
||||||
|
-s citations.txt
|
||||||
@ -0,0 +1,234 @@ |
|||||||
|
<!DOCTYPE html> |
||||||
|
<html xmlns="http://www.w3.org/1999/xhtml" lang="" xml:lang=""> |
||||||
|
<head> |
||||||
|
<meta charset="utf-8" /> |
||||||
|
<meta name="generator" content="pandoc" /> |
||||||
|
<meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes" /> |
||||||
|
<title>home lib</title> |
||||||
|
<style> |
||||||
|
html { |
||||||
|
line-height: 1.5; |
||||||
|
font-family: Georgia, serif; |
||||||
|
font-size: 20px; |
||||||
|
color: #1a1a1a; |
||||||
|
background-color: #fdfdfd; |
||||||
|
} |
||||||
|
body { |
||||||
|
margin: 0 auto; |
||||||
|
max-width: 36em; |
||||||
|
padding-left: 50px; |
||||||
|
padding-right: 50px; |
||||||
|
padding-top: 50px; |
||||||
|
padding-bottom: 50px; |
||||||
|
hyphens: auto; |
||||||
|
overflow-wrap: break-word; |
||||||
|
text-rendering: optimizeLegibility; |
||||||
|
font-kerning: normal; |
||||||
|
} |
||||||
|
@media (max-width: 600px) { |
||||||
|
body { |
||||||
|
font-size: 0.9em; |
||||||
|
padding: 1em; |
||||||
|
} |
||||||
|
h1 { |
||||||
|
font-size: 1.8em; |
||||||
|
} |
||||||
|
} |
||||||
|
@media print { |
||||||
|
body { |
||||||
|
background-color: transparent; |
||||||
|
color: black; |
||||||
|
font-size: 12pt; |
||||||
|
} |
||||||
|
p, h2, h3 { |
||||||
|
orphans: 3; |
||||||
|
widows: 3; |
||||||
|
} |
||||||
|
h2, h3, h4 { |
||||||
|
page-break-after: avoid; |
||||||
|
} |
||||||
|
} |
||||||
|
p { |
||||||
|
margin: 1em 0; |
||||||
|
} |
||||||
|
a { |
||||||
|
color: #1a1a1a; |
||||||
|
} |
||||||
|
a:visited { |
||||||
|
color: #1a1a1a; |
||||||
|
} |
||||||
|
img { |
||||||
|
max-width: 100%; |
||||||
|
} |
||||||
|
h1, h2, h3, h4, h5, h6 { |
||||||
|
margin-top: 1.4em; |
||||||
|
} |
||||||
|
h5, h6 { |
||||||
|
font-size: 1em; |
||||||
|
font-style: italic; |
||||||
|
} |
||||||
|
h6 { |
||||||
|
font-weight: normal; |
||||||
|
} |
||||||
|
ol, ul { |
||||||
|
padding-left: 1.7em; |
||||||
|
margin-top: 1em; |
||||||
|
} |
||||||
|
li > ol, li > ul { |
||||||
|
margin-top: 0; |
||||||
|
} |
||||||
|
blockquote { |
||||||
|
margin: 1em 0 1em 1.7em; |
||||||
|
padding-left: 1em; |
||||||
|
border-left: 2px solid #e6e6e6; |
||||||
|
color: #606060; |
||||||
|
} |
||||||
|
code { |
||||||
|
font-family: Menlo, Monaco, 'Lucida Console', Consolas, monospace; |
||||||
|
font-size: 85%; |
||||||
|
margin: 0; |
||||||
|
} |
||||||
|
pre { |
||||||
|
margin: 1em 0; |
||||||
|
overflow: auto; |
||||||
|
} |
||||||
|
pre code { |
||||||
|
padding: 0; |
||||||
|
overflow: visible; |
||||||
|
overflow-wrap: normal; |
||||||
|
} |
||||||
|
.sourceCode { |
||||||
|
background-color: transparent; |
||||||
|
overflow: visible; |
||||||
|
} |
||||||
|
hr { |
||||||
|
background-color: #1a1a1a; |
||||||
|
border: none; |
||||||
|
height: 1px; |
||||||
|
margin: 1em 0; |
||||||
|
} |
||||||
|
table { |
||||||
|
margin: 1em 0; |
||||||
|
border-collapse: collapse; |
||||||
|
width: 100%; |
||||||
|
overflow-x: auto; |
||||||
|
display: block; |
||||||
|
font-variant-numeric: lining-nums tabular-nums; |
||||||
|
} |
||||||
|
table caption { |
||||||
|
margin-bottom: 0.75em; |
||||||
|
} |
||||||
|
tbody { |
||||||
|
margin-top: 0.5em; |
||||||
|
border-top: 1px solid #1a1a1a; |
||||||
|
border-bottom: 1px solid #1a1a1a; |
||||||
|
} |
||||||
|
th { |
||||||
|
border-top: 1px solid #1a1a1a; |
||||||
|
padding: 0.25em 0.5em 0.25em 0.5em; |
||||||
|
} |
||||||
|
td { |
||||||
|
padding: 0.125em 0.5em 0.25em 0.5em; |
||||||
|
} |
||||||
|
header { |
||||||
|
margin-bottom: 4em; |
||||||
|
text-align: center; |
||||||
|
} |
||||||
|
#TOC li { |
||||||
|
list-style: none; |
||||||
|
} |
||||||
|
#TOC ul { |
||||||
|
padding-left: 1.3em; |
||||||
|
} |
||||||
|
#TOC > ul { |
||||||
|
padding-left: 0; |
||||||
|
} |
||||||
|
#TOC a:not(:hover) { |
||||||
|
text-decoration: none; |
||||||
|
} |
||||||
|
code{white-space: pre-wrap;} |
||||||
|
span.smallcaps{font-variant: small-caps;} |
||||||
|
div.columns{display: flex; gap: min(4vw, 1.5em);} |
||||||
|
div.column{flex: auto; overflow-x: auto;} |
||||||
|
div.hanging-indent{margin-left: 1.5em; text-indent: -1.5em;} |
||||||
|
ul.task-list{list-style: none;} |
||||||
|
ul.task-list li input[type="checkbox"] { |
||||||
|
width: 0.8em; |
||||||
|
margin: 0 0.8em 0.2em -1.6em; |
||||||
|
vertical-align: middle; |
||||||
|
} |
||||||
|
.display.math{display: block; text-align: center; margin: 0.5rem auto;} |
||||||
|
</style> |
||||||
|
<!--[if lt IE 9]> |
||||||
|
<script src="//cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv-printshiv.min.js"></script> |
||||||
|
<![endif]--> |
||||||
|
</head> |
||||||
|
<body> |
||||||
|
<header id="title-block-header"> |
||||||
|
<h1 class="title">home lib</h1> |
||||||
|
</header> |
||||||
|
<ul> |
||||||
|
<li><span class="citation" data-cites="db-core">Б. А. Новиков, Н. Г. |
||||||
|
Графеева;, Е. А. Горшкова. <span>“Основы технологий баз данных,”</span> |
||||||
|
2020. [Online; accessed 1. May 2023]. <a |
||||||
|
href="https://www.postgrespro.ru/education/books/dbtech" |
||||||
|
role="doc-biblioref">https://www.postgrespro.ru/education/books/dbtech</a>.</span></li> |
||||||
|
<li><span class="citation" data-cites="func-design-architecture">Salim, |
||||||
|
P. <span>“<span class="nocase">Functional Design and |
||||||
|
Architecture</span>,”</span> 2023. [Online; accessed 21. Apr. 2023]. <a |
||||||
|
href="https://www.manning.com/books/functional-design-and-architecture" |
||||||
|
role="doc-biblioref">https://www.manning.com/books/functional-design-and-architecture</a>.</span></li> |
||||||
|
<li><span class="citation" data-cites="fp-practice">there are many of |
||||||
|
them. <span>“<span class="nocase">Практика функционального |
||||||
|
программирования</span>,”</span> 2022. [Online; accessed 1. May 2023]. |
||||||
|
<a href="https://fprog.ru" |
||||||
|
role="doc-biblioref">https://fprog.ru</a>.</span></li> |
||||||
|
<li><span class="citation" data-cites="Misra2023Jan">Misra, Jayadev. |
||||||
|
<em><span class="nocase">Effective Theories in Programming |
||||||
|
Practice</span></em>, 2023. Vol. 47.</span></li> |
||||||
|
<li><span class="citation" |
||||||
|
data-cites="github-software-design-in-haskell">graninas. <span>“<span |
||||||
|
class="nocase">software-design-in-haskell</span>,”</span> 2023. [Online; |
||||||
|
accessed 21. Apr. 2023]. <a |
||||||
|
href="https://github.com/graninas/software-design-in-haskell" |
||||||
|
role="doc-biblioref">https://github.com/graninas/software-design-in-haskell</a>.</span></li> |
||||||
|
<li><span class="citation" |
||||||
|
data-cites="github-awesome-haskell">albohlabs. <span>“<span |
||||||
|
class="nocase">awesome-haskell</span>,”</span> 2023. [Online; accessed |
||||||
|
21. Apr. 2023]. <a href="https://github.com/albohlabs/awesome-haskell" |
||||||
|
role="doc-biblioref">https://github.com/albohlabs/awesome-haskell</a>.</span></li> |
||||||
|
<li><span class="citation" data-cites="github-plt">steshaw. <span>“<span |
||||||
|
class="nocase">plt</span>,”</span> 2023. [Online; accessed 21. Apr. |
||||||
|
2023]. <a href="https://github.com/steshaw/plt" |
||||||
|
role="doc-biblioref">https://github.com/steshaw/plt</a>.</span></li> |
||||||
|
<li><span class="citation" data-cites="plf-agda"><span>“<span |
||||||
|
class="nocase">Programming Language Foundations in Agda <span></span> |
||||||
|
Table of Contents</span>,”</span> 2023. [Online; accessed 21. Apr. 2023; |
||||||
|
nice reference]. <a href="https://plfa.github.io" |
||||||
|
role="doc-biblioref">https://plfa.github.io</a>.</span></li> |
||||||
|
<li><span class="citation" data-cites="Hutton2016Sep">Hutton, Graham. |
||||||
|
<em><span class="nocase">Programming in Haskell</span></em>, |
||||||
|
2016.</span></li> |
||||||
|
<li><span class="citation" data-cites="computation-intro">Sannella, |
||||||
|
Donald, Michael Fourman, Haoran Peng, and Philip Wadler. <em><span |
||||||
|
class="nocase">Introduction to Computation: Haskell, Logic and |
||||||
|
Automata</span></em><a |
||||||
|
href="https://link.springer.com/book/10.1007/978-3-030-76908-6" |
||||||
|
role="doc-biblioref">https://link.springer.com/book/10.1007/978-3-030-76908-6</a>.</span></li> |
||||||
|
<li><span class="citation" |
||||||
|
data-cites="haskell-road-to-logic"><span>“<span class="nocase">The |
||||||
|
Haskell Road to Logic, Maths and Programming</span>,”</span> 2020. |
||||||
|
[Online; accessed 22. Apr. 2023]. <a |
||||||
|
href="https://staff.fnwi.uva.nl/d.j.n.vaneijck2/HR" |
||||||
|
role="doc-biblioref">https://staff.fnwi.uva.nl/d.j.n.vaneijck2/HR</a>.</span></li> |
||||||
|
<li><span class="citation" data-cites="haskell-in-depth">Bragilevsky, |
||||||
|
Vitaly. <em><span class="nocase">Haskell in Depth</span></em>, 2021. <a |
||||||
|
href="https://www.oreilly.com/library/view/haskell-in-depth/9781617295409" |
||||||
|
role="doc-biblioref">https://www.oreilly.com/library/view/haskell-in-depth/9781617295409</a>.</span></li> |
||||||
|
<li><span class="citation" data-cites="advanced-R">Wickham, Hadley. |
||||||
|
<span>“<span>Advanced R</span>,”</span> 2023. [Online; accessed 25. Apr. |
||||||
|
2023]. <a href="https://adv-r.hadley.nz" |
||||||
|
role="doc-biblioref">https://adv-r.hadley.nz</a>.</span></li> |
||||||
|
</ul> |
||||||
|
</body> |
||||||
|
</html> |
||||||
@ -0,0 +1,19 @@ |
|||||||
|
--- |
||||||
|
title: "home lib" |
||||||
|
output: markdown |
||||||
|
bibliography: [db.bib, design.bib] |
||||||
|
--- |
||||||
|
|
||||||
|
- [@db-core] |
||||||
|
- [@func-design-architecture] |
||||||
|
- [@fp-practice] |
||||||
|
- [@Misra2023Jan] |
||||||
|
- [@github-software-design-in-haskell] |
||||||
|
- [@github-awesome-haskell] |
||||||
|
- [@github-plt] |
||||||
|
- [@plf-agda] |
||||||
|
- [@Hutton2016Sep] |
||||||
|
- [@computation-intro] |
||||||
|
- [@haskell-road-to-logic] |
||||||
|
- [@haskell-in-depth] |
||||||
|
- [@advanced-R] |
||||||
@ -0,0 +1,99 @@ |
|||||||
|
<?xml version="1.0" encoding="utf-8"?> |
||||||
|
<style xmlns="http://purl.org/net/xbiblio/csl" class="in-text" version="1.0" demote-non-dropping-particle="sort-only"> |
||||||
|
<info> |
||||||
|
<title>Blog style format</title> |
||||||
|
<id>http://julien.jhome.fr/styles/jblog</id> |
||||||
|
<link href="http://julien.jhome.fr/styles/jblog" rel="self"/> |
||||||
|
<author> |
||||||
|
<name>Julien Tanguy</name> |
||||||
|
<email>julien.tanguy@jhome.fr</email> |
||||||
|
<uri>http://julien.jhome.fr</uri> |
||||||
|
</author> |
||||||
|
<category citation-format="author-date"/> |
||||||
|
<category field="generic-base"/> |
||||||
|
<updated> 2013-06-27T15:18:39+02:00</updated> |
||||||
|
<summary>A crossover between chicago and bibtex styles, for use in blogs</summary> |
||||||
|
<link href="http://www.chicagomanualofstyle.org/tools_citationguide.html" rel="documentation"/> |
||||||
|
<rights>This work is licensed under a Creative Commons Attribution-Share Alike 3.0 License: http://creativecommons.org/licenses/by-sa/3.0/</rights> |
||||||
|
</info> |
||||||
|
<macro name="authors"> |
||||||
|
<names variable="author"> |
||||||
|
<name and="text" name-as-sort-order="first" sort-separator=", " delimiter=", " delimiter-precedes-last="always"/> |
||||||
|
<label form="verb-short" prefix=", " suffix="." text-case="lowercase" strip-periods="true"/> |
||||||
|
</names> |
||||||
|
</macro> |
||||||
|
<macro name="access"> |
||||||
|
<group delimiter=". "> |
||||||
|
<choose> |
||||||
|
<if type="legal_case" match="none"> |
||||||
|
<text variable="URL"/> |
||||||
|
</if> |
||||||
|
</choose> |
||||||
|
</group> |
||||||
|
</macro> |
||||||
|
<macro name="title"> |
||||||
|
<choose> |
||||||
|
<if type="bill misc book graphic legal_case motion_picture report song" match="any"> |
||||||
|
<text variable="title" font-style="italic"/> |
||||||
|
</if> |
||||||
|
<else> |
||||||
|
<text variable="title" quotes="true"/> |
||||||
|
</else> |
||||||
|
</choose> |
||||||
|
</macro> |
||||||
|
<macro name="locators"> |
||||||
|
<choose> |
||||||
|
<if type="article-journal"> |
||||||
|
<text variable="volume" prefix=" "/> |
||||||
|
<text variable="issue" prefix=" (" suffix=")"/> |
||||||
|
</if> |
||||||
|
<else-if type="legal_case"> |
||||||
|
<text variable="volume" prefix=", "/> |
||||||
|
<text variable="page" prefix=" "/> |
||||||
|
</else-if> |
||||||
|
<else-if type="bill misc book graphic legal_case motion_picture report song" match="any"> |
||||||
|
<group prefix=". " delimiter=". "> |
||||||
|
<group> |
||||||
|
<text term="volume" form="short" text-case="capitalize-first" suffix=". " strip-periods="true"/> |
||||||
|
<number variable="volume" form="numeric"/> |
||||||
|
</group> |
||||||
|
<group> |
||||||
|
<number variable="number-of-volumes" form="numeric"/> |
||||||
|
<text term="volume" form="short" prefix=" " suffix="." plural="true" strip-periods="true"/> |
||||||
|
</group> |
||||||
|
</group> |
||||||
|
</else-if> |
||||||
|
<else-if type="chapter paper-conference" match="any"> |
||||||
|
<choose> |
||||||
|
<if variable="page" match="none"> |
||||||
|
<group prefix=". "> |
||||||
|
<text term="volume" form="short" text-case="capitalize-first" suffix=". " strip-periods="true"/> |
||||||
|
<number variable="volume" form="numeric"/> |
||||||
|
</group> |
||||||
|
</if> |
||||||
|
</choose> |
||||||
|
</else-if> |
||||||
|
<else> |
||||||
|
<text form="short" variable="note" suffix=". "/> |
||||||
|
</else> |
||||||
|
</choose> |
||||||
|
</macro> |
||||||
|
<macro name="date"> |
||||||
|
<date variable="issued"> |
||||||
|
<date-part name="year"/> |
||||||
|
</date> |
||||||
|
</macro> |
||||||
|
<citation hanging-indent="true" et-al-min="11" et-al-use-first="7" subsequent-author-substitute="———" entry-spacing="0"> |
||||||
|
<sort> |
||||||
|
<key macro="authors"/> |
||||||
|
<key variable="issued"/> |
||||||
|
</sort> |
||||||
|
<layout suffix="."> |
||||||
|
<text macro="authors" suffix=". "/> |
||||||
|
<text macro="title"/> |
||||||
|
<text macro="date" prefix=", " suffix=". "/> |
||||||
|
<text macro="locators"/> |
||||||
|
<text macro="access"/> |
||||||
|
</layout> |
||||||
|
</citation> |
||||||
|
</style> |
||||||
Loading…
Reference in new issue