Skip to content

Commit 22b7f46

Browse files
tgdwyertgdwyer
committed
jekyll build from Action 2790ebb 
0 parents  commit 22b7f46

File tree

89 files changed

+17726
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

89 files changed

+17726
-0
lines changed

‎.nojekyll

Whitespace-only changes.

‎404.html

+121
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,121 @@
1+
<!DOCTYPE html>
2+
<html lang="en"><head>
3+
<meta charset="utf-8">
4+
<meta http-equiv="X-UA-Compatible" content="IE=edge">
5+
<meta name="viewport" content="width=device-width, initial-scale=1"><!-- Begin Jekyll SEO tag v2.8.0 -->
6+
<title>Tim’s code stuff | Examples and tutorials for various programming paradigms.</title>
7+
<meta name="generator" content="Jekyll v4.3.3" />
8+
<meta property="og:title" content="Tim’s code stuff" />
9+
<meta property="og:locale" content="en_US" />
10+
<meta name="description" content="Examples and tutorials for various programming paradigms." />
11+
<meta property="og:description" content="Examples and tutorials for various programming paradigms." />
12+
<meta property="og:site_name" content="Tim’s code stuff" />
13+
<meta property="og:type" content="website" />
14+
<meta name="twitter:card" content="summary" />
15+
<meta property="twitter:title" content="Tim’s code stuff" />
16+
<script type="application/ld+json">
17+
{"@context":"https://schema.org","@type":"WebPage","description":"Examples and tutorials for various programming paradigms.","headline":"Tim’s code stuff","url":"/404.html"}</script>
18+
<!-- End Jekyll SEO tag -->
19+
<link rel="shortcut icon" href="/assets/images/favicon.ico" />
20+
<link rel="stylesheet" href="/assets/css/style.css"><link type="application/atom+xml" rel="alternate" href="/feed.xml" title="Tim’s code stuff" /><!-- Global site tag (gtag.js) - Google Analytics -->
21+
<script async src="https://www.googletagmanager.com/gtag/js?id=UA-159840333-1"></script>
22+
<script>
23+
window.dataLayer = window.dataLayer || [];
24+
function gtag(){dataLayer.push(arguments);}
25+
gtag('js', new Date());
26+
27+
gtag('config', 'UA-159840333-1');
28+
</script></head>
29+
<script src="/assets/js/spoilers.js" defer></script>
30+
<script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script>
31+
<body><header class="site-header">
32+
33+
<div class="wrapper"><a class="site-title" rel="author" href="/">Tim’s code stuff</a>
34+
<script src="/assets/js/hide_solutions.js" defer></script><nav class="site-nav">
35+
<input type="checkbox" id="nav-trigger" class="nav-trigger" />
36+
<label for="nav-trigger">
37+
<span class="menu-icon">
38+
<svg viewBox="0 0 18 15" width="18px" height="15px">
39+
<path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/>
40+
</svg>
41+
</span>
42+
</label>
43+
44+
<div id="nav-menu" class="trigger"><a class="page-link" href="/about/">About</a><a class="page-link" href="/">Notes on Programming Paradigms</a><!-- Radio Switch -->
45+
<div id="toggle-div" style="display: none;">
46+
<p class="page-link" style="margin-bottom: 0px;">Show Solutions?</p>
47+
<label class="switch" style="vertical-align: middle;">
48+
<input type="checkbox" id="toggle-switch">
49+
<span class="slider round"></span>
50+
</label>
51+
</div>
52+
</div>
53+
</nav></div>
54+
55+
</header>
56+
<main class="page-content" aria-label="Content">
57+
<div class="wrapper">
58+
<style type="text/css" media="screen">
59+
.container {
60+
margin: 10px auto;
61+
max-width: 600px;
62+
text-align: center;
63+
}
64+
h1 {
65+
margin: 30px 0;
66+
font-size: 4em;
67+
line-height: 1;
68+
letter-spacing: -1px;
69+
}
70+
</style>
71+
72+
<div class="container">
73+
<h1>404</h1>
74+
75+
<p><strong>Page not found :(</strong></p>
76+
<p>The requested page could not be found.</p>
77+
</div>
78+
79+
</div>
80+
</main><footer class="site-footer h-card">
81+
<data class="u-url" href="/"></data>
82+
83+
<div class="wrapper">
84+
85+
<div class="footer-col-wrapper">
86+
<div class="footer-col">
87+
<!-- <p class="feed-subscribe">
88+
<a href="/feed.xml">
89+
<svg class="svg-icon orange">
90+
<use xlink:href="/assets/minima-social-icons.svg#rss"></use>
91+
</svg><span>Subscribe</span>
92+
</a>
93+
</p> -->
94+
</div>
95+
<div class="footer-col">
96+
<p>Examples and tutorials for various programming paradigms.</p>
97+
</div>
98+
</div>
99+
100+
<div class="social-links"><ul class="social-media-list"><li>
101+
<a rel="me" href="https://github.com/tgdwyer" target="_blank" title="github">
102+
<svg class="svg-icon grey">
103+
<use xlink:href="/assets/minima-social-icons.svg#github"></use>
104+
</svg>
105+
</a>
106+
</li>
107+
<li>
108+
<a rel="me" href="https://x.com/immersivecola" target="_blank" title="x">
109+
<svg class="svg-icon grey">
110+
<use xlink:href="/assets/minima-social-icons.svg#x"></use>
111+
</svg>
112+
</a>
113+
</li>
114+
</ul>
115+
</div>
116+
117+
</div>
118+
119+
</footer></body>
120+
121+
</html>

‎LICENSE

+21
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
MIT License
2+
3+
Copyright (c) 2020 Tim Dwyer
4+
5+
Permission is hereby granted, free of charge, to any person obtaining a copy
6+
of this software and associated documentation files (the "Software"), to deal
7+
in the Software without restriction, including without limitation the rights
8+
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
9+
copies of the Software, and to permit persons to whom the Software is
10+
furnished to do so, subject to the following conditions:
11+
12+
The above copyright notice and this permission notice shall be included in all
13+
copies or substantial portions of the Software.
14+
15+
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16+
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17+
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
18+
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19+
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
20+
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
21+
SOFTWARE.

‎README.md

+51
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,51 @@
1+
# tgdwyer.github.io
2+
3+
Jekyll source for [my notes on Programming Paradigms](https://tgdwyer.github.io/)
4+
5+
To build offline, [install Jekyll](https://jekyllrb.com/docs/installation/), then:
6+
7+
```sh
8+
bundle exec jekyll serve
9+
```
10+
11+
## Contributing
12+
13+
We use pre-commit to ensure quality and consistency of the markdown. To contribute, please follow these steps:
14+
15+
1. Install pre-commit:
16+
17+
```sh
18+
pip install pre-commit
19+
```
20+
21+
2. Install the pre-commit hooks:
22+
23+
```sh
24+
pre-commit install
25+
```
26+
27+
After this, the pre-commit hooks will run automatically on each commit to check for spelling and linting.
28+
29+
### Adding Solutions
30+
31+
If you want to add solutions to your markdown files in this Jekyll site, follow these steps:
32+
33+
### 1. Format Your Solutions Section
34+
35+
Ensure that your solutions are marked with a heading that is only the word "Solutions" This can be at any heading level (e.g., `### Solutions`, `#### Solutions`). For example:
36+
37+
```markdown
38+
### Solutions
39+
40+
Your solution content goes here...
41+
42+
```javascript
43+
const exampleFunction = () => {
44+
console.log("This is an example solution");
45+
};
46+
47+
## Rest of Document
48+
49+
```
50+
51+
Do not include any subheadings in solutions. The `wrap_solution` plugin, will automatically process this and hide solutions by default, and will be toggleable on any relevant page.

‎about/index.html

+118
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,118 @@
1+
<!DOCTYPE html>
2+
<html lang="en"><head>
3+
<meta charset="utf-8">
4+
<meta http-equiv="X-UA-Compatible" content="IE=edge">
5+
<meta name="viewport" content="width=device-width, initial-scale=1"><!-- Begin Jekyll SEO tag v2.8.0 -->
6+
<title>About | Tim’s code stuff</title>
7+
<meta name="generator" content="Jekyll v4.3.3" />
8+
<meta property="og:title" content="About" />
9+
<meta property="og:locale" content="en_US" />
10+
<meta name="description" content="Examples and tutorials for various programming paradigms." />
11+
<meta property="og:description" content="Examples and tutorials for various programming paradigms." />
12+
<meta property="og:site_name" content="Tim’s code stuff" />
13+
<meta property="og:type" content="website" />
14+
<meta name="twitter:card" content="summary" />
15+
<meta property="twitter:title" content="About" />
16+
<script type="application/ld+json">
17+
{"@context":"https://schema.org","@type":"WebSite","description":"Examples and tutorials for various programming paradigms.","headline":"About","name":"Tim’s code stuff","url":"/about/"}</script>
18+
<!-- End Jekyll SEO tag -->
19+
<link rel="shortcut icon" href="/assets/images/favicon.ico" />
20+
<link rel="stylesheet" href="/assets/css/style.css"><link type="application/atom+xml" rel="alternate" href="/feed.xml" title="Tim’s code stuff" /><!-- Global site tag (gtag.js) - Google Analytics -->
21+
<script async src="https://www.googletagmanager.com/gtag/js?id=UA-159840333-1"></script>
22+
<script>
23+
window.dataLayer = window.dataLayer || [];
24+
function gtag(){dataLayer.push(arguments);}
25+
gtag('js', new Date());
26+
27+
gtag('config', 'UA-159840333-1');
28+
</script></head>
29+
<script src="/assets/js/spoilers.js" defer></script>
30+
<script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script>
31+
<body><header class="site-header">
32+
33+
<div class="wrapper"><a class="site-title" rel="author" href="/">Tim’s code stuff</a>
34+
<script src="/assets/js/hide_solutions.js" defer></script><nav class="site-nav">
35+
<input type="checkbox" id="nav-trigger" class="nav-trigger" />
36+
<label for="nav-trigger">
37+
<span class="menu-icon">
38+
<svg viewBox="0 0 18 15" width="18px" height="15px">
39+
<path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/>
40+
</svg>
41+
</span>
42+
</label>
43+
44+
<div id="nav-menu" class="trigger"><a class="page-link" href="/about/">About</a><a class="page-link" href="/">Notes on Programming Paradigms</a><!-- Radio Switch -->
45+
<div id="toggle-div" style="display: none;">
46+
<p class="page-link" style="margin-bottom: 0px;">Show Solutions?</p>
47+
<label class="switch" style="vertical-align: middle;">
48+
<input type="checkbox" id="toggle-switch">
49+
<span class="slider round"></span>
50+
</label>
51+
</div>
52+
</div>
53+
</nav></div>
54+
55+
</header>
56+
<main class="page-content" aria-label="Content">
57+
<div class="wrapper">
58+
<article class="post">
59+
60+
<header class="post-header">
61+
<h1 class="post-title">About</h1>
62+
</header>
63+
64+
<div class="post-content">
65+
<p>These are course notes for a second-year Programming Paradigms course that focuses on introducing functional programming concepts, first in JavaScript, then introducing type systems through TypeScript, and finally diving in to Haskell.</p>
66+
67+
<p>The <a href="https://github.com/tgdwyer/tgdwyer.github.io">Markdown source for these notes is available at GitHub</a>. Pull-requests with corrections or suggested changes are most welcome.</p>
68+
69+
<p>To cite these course notes, please use the following DOI:
70+
<a href="https://doi.org/10.5281/zenodo.5226211"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.5226211.svg" alt="DOI" /></a></p>
71+
72+
</div>
73+
74+
</article>
75+
76+
</div>
77+
</main><footer class="site-footer h-card">
78+
<data class="u-url" href="/"></data>
79+
80+
<div class="wrapper">
81+
82+
<div class="footer-col-wrapper">
83+
<div class="footer-col">
84+
<!-- <p class="feed-subscribe">
85+
<a href="/feed.xml">
86+
<svg class="svg-icon orange">
87+
<use xlink:href="/assets/minima-social-icons.svg#rss"></use>
88+
</svg><span>Subscribe</span>
89+
</a>
90+
</p> -->
91+
</div>
92+
<div class="footer-col">
93+
<p>Examples and tutorials for various programming paradigms.</p>
94+
</div>
95+
</div>
96+
97+
<div class="social-links"><ul class="social-media-list"><li>
98+
<a rel="me" href="https://github.com/tgdwyer" target="_blank" title="github">
99+
<svg class="svg-icon grey">
100+
<use xlink:href="/assets/minima-social-icons.svg#github"></use>
101+
</svg>
102+
</a>
103+
</li>
104+
<li>
105+
<a rel="me" href="https://x.com/immersivecola" target="_blank" title="x">
106+
<svg class="svg-icon grey">
107+
<use xlink:href="/assets/minima-social-icons.svg#x"></use>
108+
</svg>
109+
</a>
110+
</li>
111+
</ul>
112+
</div>
113+
114+
</div>
115+
116+
</footer></body>
117+
118+
</html>

0 commit comments

Comments
 (0)