Tom Moertel tmoertel

baldwicc / solarized_setup.js

Last active February 9, 2024 15:38

Solarized Light and Solarized Dark for Chrome Secure Shell (nassh), with fonts

	/**
	* STEP 1: Setup
	* - Open Chrome Secure Shell settings
	* - Open JS Console (CTRL+SHIFT+J)
	* - Copy and paste the following:
	*/
	var s7d_colours = {
	'base03': '#002b36',
	'base02': '#073642',
	'base01': '#586e75',

michaelt / RedBlackTree.hs

Created May 11, 2012 15:01 — forked from rampion/RedBlackTree.hs

red-black trees in haskell, using GADTs and Zippers (and DataKinds)

	{-# LANGUAGE GADTs #-}
	{-# LANGUAGE RankNTypes #-}
	{-# LANGUAGE StandaloneDeriving #-}
	{-# LANGUAGE DataKinds#-}
	{-# LANGUAGE KindSignatures#-}
	module RedBlackTree where

	data Nat = Zero \| Succ Nat deriving (Eq, Ord, Show)
	type One = Succ Zero