Compare commits
No commits in common. '61776a72d958fb2af26a402cf0c9700b1c817eaa' and '23af03c0130130b9d1fc4d8112bd30f45ae2be21' have entirely different histories.
61776a72d9
...
23af03c013
@ -1,12 +0,0 @@ |
|||||||
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
|
|
||||||
@ -1,234 +0,0 @@ |
|||||||
<!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> |
|
||||||
@ -1,19 +0,0 @@ |
|||||||
--- |
|
||||||
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] |
|
||||||
@ -1,99 +0,0 @@ |
|||||||
<?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