Tom Busby tombusby

LaTeX Study Notes

Commands

Commands begin with a \ and are instructions to LaTeX (i.e. not content which will appear on the page - although they can cause content to be generated such as the \LaTeX{} macro).

For example:

\documentclass{article}

Mac Setup Tips and Tricks

Set up iterm2 so that Opt key works per word

See this StackExchange post

Term Colours

Add to .bash_profile:

Servant Study Notes

To Understand How Servant Itself Works

Data Kinds

The DataKinds extension allows us to promote data constructors into type constructors, which also promotes their type constructors into kind constructors. To promote something up a level, we prefix the name with an apostrophe, or tick: '.

This segment from Basic Type Level Programming in Haskell.

Elm Study Notes

Decoding Recursive Data Structures:

From Elm Slack

For example:

type ExtractFields

Algebraic Effects

Soares's Implicit Effects Talk

Slides

Keybase proof

I hereby claim:

I am tombusby on github.
I am tombusby (https://keybase.io/tombusby) on keybase.
I have a public key ASA3mlmKDkAYYwdtusGavupuudIx2Fwn7ztlXfenu-CKkQo

To claim this, I am signing this object:

	# Generator for valid Swedish personnummer: http://en.wikipedia.org/wiki/Personal_identity_number_(Sweden)
	# By Henrik Nyh <http://henrik.nyh.se> 2009-01-29 under the MIT license.

	require 'date'

	module Personnummer

	def self.generate(date=nil, serial=nil)
	date \|\|= Date.new(1900+rand(100), 1+rand(12), 1+rand(28))
	serial = serial ? serial.to_s : format("%03d", 1+rand(999)) # 001-999