The code, templates and content for my Hakyll powered blog at
選択できるのは25トピックまでです。 トピックは、先頭が英数字で、英数字とダッシュ('-')を使用した35文字以内のものにしてください。
Collin J. Doering a53afcf1bd
.gitignore: Ignore generated plan files
clay Update business card photo 1年前
drafts Worked on draft church-encoding-in-javascript 5年前
files Update gpg public key uids 2年前
fonts Remove unused fonts 6年前
images Update business card photo 1年前
images-src Added initial implementation of error messages 6年前
infra infra/ Always trigger deployment of static files upon apply 1年前
js Fixed active nav item issue 5年前
lib Removed jquery-address 5年前
pages Update copyright in LICENSE file and on home page 5年前
posts posts/ New post 1年前
src Update site script and hookup hakyll static file deploy 2年前
templates Fixed copyright year in footer 5年前
.gitignore .gitignore: Ignore generated plan files 1年前
LICENSE Update copyright in LICENSE file and on home page 5年前 Remove test suite and update 2年前
Setup.hs Initial cabalization of site 6年前
blog-rekahsoft-ca.cabal Remove test suite and update 2年前
robots.txt Add robots.txt for web robots 5年前
site Update site script and hookup hakyll static file deploy 2年前
stack.yaml Initial work blowing the dust off this codebase 2年前
stack.yaml.lock stack.yaml.lock: Add stack lock file 1年前

Source Code for #! Lambda Slang

#! Lambda Slang is the personal technical blog of Collin Doering, built using software that respects our freedoms.



The creation of this website was made possible by the following open source tools and libraries:

  • Hakyll is used to generate site from static files
  • Clay is used for CSS pre-processing
  • Skeleton is used for CSS boilerplate
  • MathJax is used for rendering mathematics
  • Inkscape and the Gimp were used to create various images/artwork
  • Gnu Free Fonts, specifically FreeMono is used as main font
  • Gnu Emacs, because there is no place like home; and no greater editor!


Simply put, you're welcome to use the code used to generate this site though there are a few restrictions:

  • Any images and artwork that embody the likeness of “#! Lambda Slang” are not to be distributed or used and are strictly copyright
  • The content of pages and posts can be used with attribution, providing you aren't making money off of it

Various licenses (GPLv3, Creative Commons BY-NC-SA License, and Creative Commons BY-NC-ND License) are deployed dependent on which part of the site is in question. Please see the LICENSE file for full details.


Stack is used to manage dependencies for this project. A simple wrapper script site is provided that also takes care of building the static site and offering access to hakyll commands.

$ ./site build
$ ./site watch


Terraform is used to deploy this site. Its configuration files are located in ./infra. Three workspaces are currently available, including:

  • default (unused)
  • staging
  • production

For example, this is how to deploy the production version of the site:

$ cd infra
$ terraform workspace select production
$ terraform plan --var-file=production.tfvars --out local.plan
$ terraform apply local.plan


If you have an issue while browsing my blog please file a issue in the blog-rekahsoft-ca issue tracker.