Michel Bøje Randahl Nielsen michelrandahl

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:

	# test om ipython virker...
	print("hello world")

	# lav en liste af værdier mellem 1 og 10
	list(range(1, 10))

	# lav en anonym funktion
	min_funktion = lambda x: x + 3

	# kald den anonyme funktion

	-- Attempting to implement my own Maybe monad using the Option type naming from F#
	data Option x = None
	\| Some x

	Functor Option where
	map f None = None
	map f (Some x) = Some (f x)

	Applicative Option where
	pure x = Some x

	-- Attempting to implement my own Maybe monad using the Option type naming from F#
	data Option x = None
	\| Some x

	Functor Option where
	map f None = None
	map f (Some x) = Some (f x)

	Applicative Option where
	pure x = Some x

	-- Attempting to implement my own Maybe monad using the Option type naming from F#
	data Option x = None
	\| Some x

	Functor Option where
	map f None = None
	map f (Some x) = Some (f x)

	Applicative Option where
	pure = ?stuff1

	-- Attempting to implement my own Maybe monad using the Option type naming from F#
	data Option x = None
	\| Some x

	Functor Option where
	map = ?stuff3

	Applicative Option where
	pure = ?stuff1
	(<*>) = ?stuff2

	-- Defining some Maybe values...
	-- These could just as well have been database lookups or something else
	x : Maybe Nat
	x = Just 42

	y : Maybe String
	y = Just "hello idris"

	z : Maybe Nat
	z = Just 4

	function pipe(data, ...)
	local n = select("#", ...)
	if n == 0 then
	return data
	else
	local funs = {...}
	local f = table.remove(funs, 1)
	return pipe(f(data), unpack(funs))
	end
	end