Quentin Dufour superboum

Installation of NixOS with encrypted root

These are my notes on instaling NixOS 16.03 on a Lenovo ThinkPad X1 Carbon (4th generation) with an encrypted root file system using UEFI.

Most of this is scrambled from the following pages:

	var mongoose = require('./index')
	, TempSchema = new mongoose.Schema({
	salutation: {type: String, enum: ['Mr.', 'Mrs.', 'Ms.']}
	});

	var Temp = mongoose.model('Temp', TempSchema);

	console.log(Temp.schema.path('salutation').enumValues);
	var temp = new Temp();
	console.log(temp.schema.path('salutation').enumValues);

	#!/bin/bash

	# Creates a bootable ISO from CoreOS' PXE images.
	# Also adds a run script to the OEM partition and converts the ISO so it can boot from USB media.
	# Based heavily off https://github.com/nyarla/coreos-live-iso - Thanks Naoki!

	set -e

	# Default configurations
	SYSLINUX_VERSION="6.02"

	// clone this gist to a empty folder, the run:
	// npm init (and follow steps)
	// npm install express --save
	// npm install swig --save
	// node app.js and open http://localhost:3000

	function App() {

	var express = require('express');

	///
	/// Factorial function in lambda calculus - implemented in JS
	///

	//// Lambda calculus
	// zero = λs.λz.z
	// succ = λn.λs.λz.s (n s z)
	// mult = λn.λm.λs.m (n s)
	// pred = λn.λf.λx.n(λg.λh.h (g f))(λu.x)(λu.u)
	// minus = λn.λm.m pred n