Skip to content

Instantly share code, notes, and snippets.

View fehrenbach's full-sized avatar

Stefan Fehrenbach fehrenbach

32 followers · 29 following
View GitHub Profile
@fehrenbach
fehrenbach / gist:d9632263738125bed93ea5f659695e19
Created March 30, 2016 10:20
var db = database "links";
var agencies =
table "agencies"
with (oid: Int,
id: Int,
name: String,
based_in: String,
phone: String)
where oid readonly
@fehrenbach
fehrenbach / ideminvoid.lean
Last active November 18, 2015 10:47
https://twitter.com/puffnfresh/status/666374219815641088
open function
lemma ideminvoid (A : Type)
(f : A -> A)
(f_idem : forall x, f (f x) = f x)
(f_invo : forall x, f (f x) = x)
: forall x, f x = id x :=
take x, calc f x = f (f x) : f_idem
... = x : f_invo
... = id x : rfl
@fehrenbach
fehrenbach / shredding-adt.hs
Created December 9, 2014 16:32
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE MonadComprehensions #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE RebindableSyntax #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE ViewPatterns #-}
@fehrenbach
fehrenbach / shredding.hs
Created December 4, 2014 16:35
Query shredding queries in Database-supported Haskell
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE MonadComprehensions #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE RebindableSyntax #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE ViewPatterns #-}
@fehrenbach
fehrenbach / hbtf.hs
Last active August 29, 2015 14:10
Example query from Haskell boards the Ferry, George Giorgidze et al., IFL 2010
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE MonadComprehensions #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE RebindableSyntax #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE ViewPatterns #-}
@fehrenbach
fehrenbach / gist:5603707
Created May 18, 2013 08:17
#Colorful prompt, shows current git branch
PS1='\[\033[01;32m\]\u\[\033[00m\]@\[\033[01;32m\]\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[00m\]\[\033[0;36m\]`git branch 2>/dev/null|cut -f2 -d\* -s`\[\033[00m\]\$ '
@fehrenbach
fehrenbach / gist:1309134
Created October 24, 2011 14:17
user=> (do (defn foo [bar] (inc bar))
(prn (foo 1))
(time (defn foo [bar] (dec bar)))
(foo 1))
2
"Elapsed time: 0.189684 msecs"
0
@fehrenbach
fehrenbach / xmonad.hs
Created September 25, 2011 13:09
import XMonad
import XMonad.Actions.UpdatePointer
import XMonad.Config.Desktop
import XMonad.Hooks.DynamicLog
import XMonad.Hooks.ManageDocks
import XMonad.Hooks.ManageHelpers
import XMonad.Hooks.EwmhDesktops
import XMonad.Hooks.SetWMName
import XMonad.Layout.PerWorkspace
import XMonad.Layout.Reflect
@fehrenbach
fehrenbach / xmonad.hs
Created September 9, 2011 12:15
import XMonad
import XMonad.Actions.UpdatePointer
import XMonad.Config.Desktop
import XMonad.Hooks.DynamicLog
import XMonad.Hooks.ManageDocks
import XMonad.Hooks.ManageHelpers
import XMonad.Hooks.EwmhDesktops
import XMonad.Hooks.SetWMName
import XMonad.Layout.PerWorkspace
import XMonad.Layout.Reflect
@fehrenbach
fehrenbach / Google+.desktop
Created September 9, 2011 12:12
#!/usr/bin/env xdg-open
[Desktop Entry]
Version=1.0
Name=Google+
Exec=chromium --app=https://plus.google.com/
Terminal=false
Icon=chrome-https___plus.google.com_
Type=Application
Categories=GTK;Network;WebBrowser;
StartupWMClass=plus.google.com