diff --git a/_includes/footer.html b/_includes/footer.html new file mode 100644 index 0000000..a46a227 --- /dev/null +++ b/_includes/footer.html @@ -0,0 +1,7 @@ + + + + + + + diff --git a/_includes/header.html b/_includes/header.html new file mode 100644 index 0000000..6031c8a --- /dev/null +++ b/_includes/header.html @@ -0,0 +1,37 @@ + + + + + + correl.phoenixinquis.net by correl + + + + + + + + + + + + + +
+ +
+
+

correl.phoenixinquis.net

+

projects and coding adventures

+
+ Project maintained by correl + Hosted on GitHub Pages — Theme by mattgraham +
diff --git a/_layouts/default.html b/_layouts/default.html new file mode 100644 index 0000000..7ee00ac --- /dev/null +++ b/_layouts/default.html @@ -0,0 +1,5 @@ +{% include header.html %} + +{{ content }} + +{% include footer.html %} diff --git a/_layouts/post.html b/_layouts/post.html new file mode 100644 index 0000000..313b04a --- /dev/null +++ b/_layouts/post.html @@ -0,0 +1,18 @@ +{% include header.html %} + +
+
+

{{ page.title }}

+
+ {{ page.date | date_to_long_string }} +
+
+ + {{ content }} +
+ + +{% include footer.html %} diff --git a/_posts/2012-04-09-learning-functional-programming-part-one.md b/_posts/2012-04-09-learning-functional-programming-part-one.md index 4f638ea..0f8ffec 100644 --- a/_posts/2012-04-09-learning-functional-programming-part-one.md +++ b/_posts/2012-04-09-learning-functional-programming-part-one.md @@ -10,7 +10,7 @@ tags: - python --- -# Part One: Lambdas? In my Python? +## Part One: Lambdas? In my Python? Over the past few months, I've decided to take a stab at learning some functional programming. I'd been doing python for a few years (and @@ -22,7 +22,7 @@ well. -## Functions are objects, too +### Functions are objects, too Having graduated to python from PHP and C/C++, perhaps the biggest new thing to wrap my head around (besides readable code, whitespace-as-syntax, @@ -52,7 +52,7 @@ ucase_people = map(lambda name: name.upper(), ["Joe", "Mary", "Zach"]) ``` -## Abstracting behaviour +### Abstracting behaviour You'll find you can now start abstracting away common idioms. For example, you probably very often find yourself looping over some list of items, @@ -112,7 +112,7 @@ music = [file.upper() for file in stuff if file.endswith(".pls")] ``` -## Tip of the iceberg +### Tip of the iceberg This is just a very small taste of functional programming concepts. Later, I'll introduce a couple of functional languages, and explain what sets them apart diff --git a/index.html b/index.html index 57d1654..4363252 100644 --- a/index.html +++ b/index.html @@ -1,75 +1,16 @@ - - - - - - correl.phoenixinquis.net by correl - - - - - - - - - - - - -
- -
-
-

correl.phoenixinquis.net

-

projects and coding adventures

-
- Project maintained by correl - Hosted on GitHub Pages — Theme by mattgraham -
- -

-Welcome to GitHub Pages.

- -

This automatic page generator is the easiest way to create beautiful pages for all of your projects. Author your page content here using GitHub Flavored Markdown, select a template crafted by a designer, and publish. After your page is generated, you can check out the new branch:

- -
$ cd your_repo_root/repo_name
-$ git fetch origin
-$ git checkout gh-pages
-
- -

If you're using the GitHub for Mac, simply sync your repository and you'll see the new branch.

- -

-Designer Templates

- -

We've crafted some handsome templates for you to use. Go ahead and continue to layouts to browse through them. You can easily go back to edit your page before publishing. After publishing your page, you can revisit the page generator and switch to another theme. Your Page content will be preserved if it remained markdown format.

- -

-Rather Drive Stick?

- -

If you prefer to not use the automatic generator, push a branch named gh-pages to your repository to create a page manually. In addition to supporting regular HTML content, GitHub Pages support Jekyll, a simple, blog aware static site generator written by our own Tom Preston-Werner. Jekyll makes it easy to create site-wide headers and footers without having to copy them across every page. It also offers intelligent blog support and other advanced templating features.

- -

-Authors and Contributors

- -

You can @mention a GitHub username to generate a link to their profile. The resulting <a> element will link to the contributor's GitHub Profile. For example: In 2007, Chris Wanstrath (@defunkt), PJ Hyett (@pjhyett), and Tom Preston-Werner (@mojombo) founded GitHub.

- -

-Support or Contact

- -

Having trouble with Pages? Check out the documentation at http://help.github.com/pages or contact support@github.com and we’ll help you sort it out.

-
+--- +layout: default +title: correl.phoenixinquis.net +--- +{% for post in site.posts %} + +{% endfor %} diff --git a/stylesheets/blog.css b/stylesheets/blog.css new file mode 100644 index 0000000..85f6c72 --- /dev/null +++ b/stylesheets/blog.css @@ -0,0 +1,25 @@ +article { + margin-bottom: 1.5em; +} + +article .excerpt, +article footer { + padding-left: 1.5em; +} + +article header { + margin-bottom: 4em; +} +article header hr { + height: 1px; + border-bottom: 1px dashed #696969; + Background: none; +} +article .date { + float: left; + font-size: 11px; + font-family: "OpenSansRegular", "Helvetica Neue", Helvetica, Arial, sans-serif; + font-weight: normal; + color: #696969; + margin-top: -10px; +} \ No newline at end of file