ottergottaott
/
home-library
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Compare commits

base: ottergottaott:61776a72d958fb2af26a402cf0c9700b1c817eaa
Branches Tags
ottergottaott:master
..
compare: ottergottaott:23af03c0130130b9d1fc4d8112bd30f45ae2be21
Branches Tags
ottergottaott:master

No commits in common. '61776a72d958fb2af26a402cf0c9700b1c817eaa' and '23af03c0130130b9d1fc4d8112bd30f45ae2be21' have entirely different histories.
61776a72d9 ... 23af03c013

6 changed files with 2 additions and 365 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats
  1. 12
      Makefile
  2. 234
      README.html
  3. 1
      README.md
  4. 19
      citations.txt
  5. 2
      db.bib
  6. 99
      jcsl.csl

12
Makefile
Unescape View File

@ -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

234
README.html
Unescape View File

@ -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
README.md
Unescape View File

@ -0,0 +1 @@
## Home library

19
citations.txt
Unescape View File

@ -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]

2
db.bib
Unescape View File

@ -5,6 +5,6 @@
month = may,
language = {russian},
note = {[Online; accessed 1. May 2023]},
url = {https://www.postgrespro.ru/education/books/dbtech},
url = {https://www.postgrespro.ru/education/books/dbtech}
pages = 582,
}

99
jcsl.csl
Unescape View File

@ -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>
Write Preview
Loading…
Cancel
Save