-
Notifications
You must be signed in to change notification settings - Fork 45
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
0 parents
commit 2cf7763
Showing
89 changed files
with
17,580 additions
and
0 deletions.
There are no files selected for viewing
Empty file.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,121 @@ | ||
<!DOCTYPE html> | ||
<html lang="en"><head> | ||
<meta charset="utf-8"> | ||
<meta http-equiv="X-UA-Compatible" content="IE=edge"> | ||
<meta name="viewport" content="width=device-width, initial-scale=1"><!-- Begin Jekyll SEO tag v2.8.0 --> | ||
<title>Tim’s code stuff | Examples and tutorials for various programming paradigms.</title> | ||
<meta name="generator" content="Jekyll v4.3.3" /> | ||
<meta property="og:title" content="Tim’s code stuff" /> | ||
<meta property="og:locale" content="en_US" /> | ||
<meta name="description" content="Examples and tutorials for various programming paradigms." /> | ||
<meta property="og:description" content="Examples and tutorials for various programming paradigms." /> | ||
<meta property="og:site_name" content="Tim’s code stuff" /> | ||
<meta property="og:type" content="website" /> | ||
<meta name="twitter:card" content="summary" /> | ||
<meta property="twitter:title" content="Tim’s code stuff" /> | ||
<script type="application/ld+json"> | ||
{"@context":"https://schema.org","@type":"WebPage","description":"Examples and tutorials for various programming paradigms.","headline":"Tim’s code stuff","url":"/404.html"}</script> | ||
<!-- End Jekyll SEO tag --> | ||
<link rel="shortcut icon" href="/assets/images/favicon.ico" /> | ||
<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 --> | ||
<script async src="https://www.googletagmanager.com/gtag/js?id=UA-159840333-1"></script> | ||
<script> | ||
window.dataLayer = window.dataLayer || []; | ||
function gtag(){dataLayer.push(arguments);} | ||
gtag('js', new Date()); | ||
|
||
gtag('config', 'UA-159840333-1'); | ||
</script></head> | ||
<script src="/assets/js/spoilers.js" defer></script> | ||
<script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script> | ||
<body><header class="site-header"> | ||
|
||
<div class="wrapper"><a class="site-title" rel="author" href="/">Tim’s code stuff</a> | ||
<script src="/assets/js/hide_solutions.js" defer></script><nav class="site-nav"> | ||
<input type="checkbox" id="nav-trigger" class="nav-trigger" /> | ||
<label for="nav-trigger"> | ||
<span class="menu-icon"> | ||
<svg viewBox="0 0 18 15" width="18px" height="15px"> | ||
<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"/> | ||
</svg> | ||
</span> | ||
</label> | ||
|
||
<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 --> | ||
<div id="toggle-div" style="display: none;"> | ||
<p class="page-link" style="margin-bottom: 0px;">Show Solutions?</p> | ||
<label class="switch" style="vertical-align: middle;"> | ||
<input type="checkbox" id="toggle-switch"> | ||
<span class="slider round"></span> | ||
</label> | ||
</div> | ||
</div> | ||
</nav></div> | ||
|
||
</header> | ||
<main class="page-content" aria-label="Content"> | ||
<div class="wrapper"> | ||
<style type="text/css" media="screen"> | ||
.container { | ||
margin: 10px auto; | ||
max-width: 600px; | ||
text-align: center; | ||
} | ||
h1 { | ||
margin: 30px 0; | ||
font-size: 4em; | ||
line-height: 1; | ||
letter-spacing: -1px; | ||
} | ||
</style> | ||
|
||
<div class="container"> | ||
<h1>404</h1> | ||
|
||
<p><strong>Page not found :(</strong></p> | ||
<p>The requested page could not be found.</p> | ||
</div> | ||
|
||
</div> | ||
</main><footer class="site-footer h-card"> | ||
<data class="u-url" href="/"></data> | ||
|
||
<div class="wrapper"> | ||
|
||
<div class="footer-col-wrapper"> | ||
<div class="footer-col"> | ||
<!-- <p class="feed-subscribe"> | ||
<a href="/feed.xml"> | ||
<svg class="svg-icon orange"> | ||
<use xlink:href="/assets/minima-social-icons.svg#rss"></use> | ||
</svg><span>Subscribe</span> | ||
</a> | ||
</p> --> | ||
</div> | ||
<div class="footer-col"> | ||
<p>Examples and tutorials for various programming paradigms.</p> | ||
</div> | ||
</div> | ||
|
||
<div class="social-links"><ul class="social-media-list"><li> | ||
<a rel="me" href="https://github.com/tgdwyer" target="_blank" title="github"> | ||
<svg class="svg-icon grey"> | ||
<use xlink:href="/assets/minima-social-icons.svg#github"></use> | ||
</svg> | ||
</a> | ||
</li> | ||
<li> | ||
<a rel="me" href="https://x.com/immersivecola" target="_blank" title="x"> | ||
<svg class="svg-icon grey"> | ||
<use xlink:href="/assets/minima-social-icons.svg#x"></use> | ||
</svg> | ||
</a> | ||
</li> | ||
</ul> | ||
</div> | ||
|
||
</div> | ||
|
||
</footer></body> | ||
|
||
</html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,21 @@ | ||
MIT License | ||
|
||
Copyright (c) 2020 Tim Dwyer | ||
|
||
Permission is hereby granted, free of charge, to any person obtaining a copy | ||
of this software and associated documentation files (the "Software"), to deal | ||
in the Software without restriction, including without limitation the rights | ||
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell | ||
copies of the Software, and to permit persons to whom the Software is | ||
furnished to do so, subject to the following conditions: | ||
|
||
The above copyright notice and this permission notice shall be included in all | ||
copies or substantial portions of the Software. | ||
|
||
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR | ||
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, | ||
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE | ||
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER | ||
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, | ||
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE | ||
SOFTWARE. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,51 @@ | ||
# tgdwyer.github.io | ||
|
||
Jekyll source for [my notes on Programming Paradigms](https://tgdwyer.github.io/) | ||
|
||
To build offline, [install Jekyll](https://jekyllrb.com/docs/installation/), then: | ||
|
||
```sh | ||
bundle exec jekyll serve | ||
``` | ||
|
||
## Contributing | ||
|
||
We use pre-commit to ensure quality and consistency of the markdown. To contribute, please follow these steps: | ||
|
||
1. Install pre-commit: | ||
|
||
```sh | ||
pip install pre-commit | ||
``` | ||
|
||
2. Install the pre-commit hooks: | ||
|
||
```sh | ||
pre-commit install | ||
``` | ||
|
||
After this, the pre-commit hooks will run automatically on each commit to check for spelling and linting. | ||
|
||
### Adding Solutions | ||
|
||
If you want to add solutions to your markdown files in this Jekyll site, follow these steps: | ||
|
||
### 1. Format Your Solutions Section | ||
|
||
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: | ||
|
||
```markdown | ||
### Solutions | ||
|
||
Your solution content goes here... | ||
|
||
```javascript | ||
const exampleFunction = () => { | ||
console.log("This is an example solution"); | ||
}; | ||
|
||
## Rest of Document | ||
|
||
``` | ||
|
||
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. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,118 @@ | ||
<!DOCTYPE html> | ||
<html lang="en"><head> | ||
<meta charset="utf-8"> | ||
<meta http-equiv="X-UA-Compatible" content="IE=edge"> | ||
<meta name="viewport" content="width=device-width, initial-scale=1"><!-- Begin Jekyll SEO tag v2.8.0 --> | ||
<title>About | Tim’s code stuff</title> | ||
<meta name="generator" content="Jekyll v4.3.3" /> | ||
<meta property="og:title" content="About" /> | ||
<meta property="og:locale" content="en_US" /> | ||
<meta name="description" content="Examples and tutorials for various programming paradigms." /> | ||
<meta property="og:description" content="Examples and tutorials for various programming paradigms." /> | ||
<meta property="og:site_name" content="Tim’s code stuff" /> | ||
<meta property="og:type" content="website" /> | ||
<meta name="twitter:card" content="summary" /> | ||
<meta property="twitter:title" content="About" /> | ||
<script type="application/ld+json"> | ||
{"@context":"https://schema.org","@type":"WebSite","description":"Examples and tutorials for various programming paradigms.","headline":"About","name":"Tim’s code stuff","url":"/about/"}</script> | ||
<!-- End Jekyll SEO tag --> | ||
<link rel="shortcut icon" href="/assets/images/favicon.ico" /> | ||
<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 --> | ||
<script async src="https://www.googletagmanager.com/gtag/js?id=UA-159840333-1"></script> | ||
<script> | ||
window.dataLayer = window.dataLayer || []; | ||
function gtag(){dataLayer.push(arguments);} | ||
gtag('js', new Date()); | ||
|
||
gtag('config', 'UA-159840333-1'); | ||
</script></head> | ||
<script src="/assets/js/spoilers.js" defer></script> | ||
<script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script> | ||
<body><header class="site-header"> | ||
|
||
<div class="wrapper"><a class="site-title" rel="author" href="/">Tim’s code stuff</a> | ||
<script src="/assets/js/hide_solutions.js" defer></script><nav class="site-nav"> | ||
<input type="checkbox" id="nav-trigger" class="nav-trigger" /> | ||
<label for="nav-trigger"> | ||
<span class="menu-icon"> | ||
<svg viewBox="0 0 18 15" width="18px" height="15px"> | ||
<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"/> | ||
</svg> | ||
</span> | ||
</label> | ||
|
||
<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 --> | ||
<div id="toggle-div" style="display: none;"> | ||
<p class="page-link" style="margin-bottom: 0px;">Show Solutions?</p> | ||
<label class="switch" style="vertical-align: middle;"> | ||
<input type="checkbox" id="toggle-switch"> | ||
<span class="slider round"></span> | ||
</label> | ||
</div> | ||
</div> | ||
</nav></div> | ||
|
||
</header> | ||
<main class="page-content" aria-label="Content"> | ||
<div class="wrapper"> | ||
<article class="post"> | ||
|
||
<header class="post-header"> | ||
<h1 class="post-title">About</h1> | ||
</header> | ||
|
||
<div class="post-content"> | ||
<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> | ||
|
||
<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> | ||
|
||
<p>To cite these course notes, please use the following DOI: | ||
<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> | ||
|
||
</div> | ||
|
||
</article> | ||
|
||
</div> | ||
</main><footer class="site-footer h-card"> | ||
<data class="u-url" href="/"></data> | ||
|
||
<div class="wrapper"> | ||
|
||
<div class="footer-col-wrapper"> | ||
<div class="footer-col"> | ||
<!-- <p class="feed-subscribe"> | ||
<a href="/feed.xml"> | ||
<svg class="svg-icon orange"> | ||
<use xlink:href="/assets/minima-social-icons.svg#rss"></use> | ||
</svg><span>Subscribe</span> | ||
</a> | ||
</p> --> | ||
</div> | ||
<div class="footer-col"> | ||
<p>Examples and tutorials for various programming paradigms.</p> | ||
</div> | ||
</div> | ||
|
||
<div class="social-links"><ul class="social-media-list"><li> | ||
<a rel="me" href="https://github.com/tgdwyer" target="_blank" title="github"> | ||
<svg class="svg-icon grey"> | ||
<use xlink:href="/assets/minima-social-icons.svg#github"></use> | ||
</svg> | ||
</a> | ||
</li> | ||
<li> | ||
<a rel="me" href="https://x.com/immersivecola" target="_blank" title="x"> | ||
<svg class="svg-icon grey"> | ||
<use xlink:href="/assets/minima-social-icons.svg#x"></use> | ||
</svg> | ||
</a> | ||
</li> | ||
</ul> | ||
</div> | ||
|
||
</div> | ||
|
||
</footer></body> | ||
|
||
</html> |
Oops, something went wrong.