You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
235 lines
7.5 KiB
235 lines
7.5 KiB
2 years ago
|
<!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>
|