Compare commits
2 Commits
23af03c013
...
61776a72d9
Author | SHA1 | Date |
---|---|---|
Aleksey Zubakov | 61776a72d9 | 2 years ago |
Aleksey Zubakov | b43bd3b636 | 2 years ago |
@ -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