Rein Henrichs reinh

reinh / Definitional.hs

Last active April 22, 2023 01:07

	-- The meta-circular interpreter from section 5 of Reynolds's Definitional
	-- Interpreters for Higher Order Programming Languages
	-- (http://www.cs.uml.edu/~giam/91.531/Textbooks/definterp.pdf)

	data EXP
	= CONST Const
	\| VAR Var
	\| APPL Appl
	\| LAMBDA Lambda
	\| COND Cond

reinh / Propositional.hs

Last active September 19, 2016 21:54

	{-# LANGUAGE DeriveFoldable #-}
	{-# LANGUAGE DeriveFunctor #-}
	{-# LANGUAGE DeriveTraversable #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE LambdaCase #-}

	module Propositional where

	import Prelude hiding (False, True)
	import qualified Prelude

reinh / data-structures

Created August 26, 2016 02:32

	Priority Queues
	═══════════════

	━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
	INSERT DEL-MIN MIN DEC-KEY DELETE MERGE
	binary log n log n 1 log n log n n
	binomial 1 log n 1 log n log n log n
	Fibonacci 1 log n† 1 1† log n† log n
	Pairing 1† log n† 1† 1† log n† 1†
	Brodal-Okasaki 1 log n 1 1 log n 1

reinh / stack.yaml

Created December 2, 2015 00:22

	flags: {}

	packages:
	- location: '.'
	- location:
	git: https://github.com/ryantrinkle/reflex.git
	commit: 784f9f79396ae713a03fc4d81f8a67b75d6ade1c # need a few package bumps not present in hackage release yet
	extra-dep: true
	- location:
	git: https://github.com/ryantrinkle/reflex-dom.git

reinh / gist:3726cdf10fce430b6e31

Last active September 15, 2015 21:22

A flowchart for understanding fixed points.

reinh / CommandParser.hs

Last active August 29, 2015 14:15 — forked from svdberg/CommandParser.hs

	{-# LANGUAGE OverloadedStrings #-}

	module CommandParser where
	import Data.Attoparsec.ByteString.Char8
	import Data.Attoparsec.Combinator
	import Control.Applicative
	import Data.ByteString

	data Command = Retrieve \| Delete \| New deriving Show

reinh / gist:3dd2795d5e72ad690477

Created February 18, 2015 19:59

reinh / gist:c7cf14aa6d9133ccb1a0

Created January 10, 2015 21:25

reinh / solarized.css

Created July 15, 2014 22:32

Updated Solarized style that justifies nicks and messages

	span.messageRow {
	}

	span.messageRow span.date {
	}

	span.messageRow span.message {
	}

	span.message span.authorWrap {

reinh / gist:e1627e9d34c52375599a

Last active August 29, 2015 14:03