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.