Skip to content

Instantly share code, notes, and snippets.

View the9000's full-sized avatar
👁️
Contemplation as a service

Dmitry Cheryasov the9000

👁️
Contemplation as a service
View GitHub Profile
{-# LANGUAGE GADTs #-}
module SafeList where
data Empty
data NonEmpty
class Emptiness e
instance Emptiness Empty
instance Emptiness NonEmpty
@marktheunissen
marktheunissen / pedantically_commented_playbook.yml
Last active April 26, 2024 23:26 — forked from phred/pedantically_commented_playbook.yml
Insanely complete Ansible playbook, showing off all the options
This playbook has been removed as it is now very outdated.
@bkeating
bkeating / howto-filemerge-git-osx.md
Created March 11, 2010 21:36
HOWTO: Using FileMerge (opendiff) with Git on OSX

HOWTO: Using FileMerge (opendiff) with Git on OSX

FileMerge (opendiff) can really come in handy when you need to visually compare merging conflicts. Other times it's just a nice visual way to review your days work.

The following method works by creating a simple bash script (git-diff-cmd.sh) that sets us up with the proper command line arguments for Git to pass off files to FileMerge.