Skip to content

Instantly share code, notes, and snippets.

View Philonous's full-sized avatar

Philipp Balzarek Philonous

View GitHub Profile
{-# LANGUAGE NoMonomorphismRestriction, ViewPatterns #-}
import XMonad
import System.Exit
import Control.Monad
import Control.Concurrent
import Control.Arrow (second)
(defun get-haskell-buffer ()
(save-window-excursion
(let ((sess (haskell-session)))
(if sess (haskell-session-interactive-buffer sess)
nil))))
(defun layout-for-haskell ()
(interactive)
(save-selected-window
(let ((haskell-buffer (get-haskell-buffer)))
@Philonous
Philonous / .Xdefaults
Created September 5, 2013 14:34
.Xdefaults solarized dark
URxvt.saveLines: 1000
URxvt.scrollBar: false
URxvt.foreground: white
URxvt.background: black
URxvt.secondaryScroll: true
URxvt.font: xft:Anonymous Pro:pixelsize=12
!!URxvt.font: ProggyClean
URxvt.tabbed.scrollBar: false
URxvt.tabbed.tabbar-fg: 3
URxvt.tabbed.tabbar-bg: 0
#!/bin/sh
[ -f .gitignore ] || cp $HOME/skel/.gitignore .
[ -f LICENSE ] || cp $HOME/skel/LICENSE .
[ -d .git ] || (git init; git add .gitignore LICENSE; git commit -am "initial commit")
(defun smart-hyphen (n)
"Capitalize the next word, or behave as the usual '-'."
(interactive "p")
(if (memq (get-text-property (point) 'face)
'(font-lock-doc-face
font-lock-comment-face
font-lock-string-face))
(self-insert-command n)
(progn (insert ?-)
(let ((next (read-char)))
-- Compile with ghc -O2 -fforce-recomp
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE GADTs #-}
module Test where
module GpgMe where
import Bindings
keyName k = keyGetStringAttr k AttrName 0
main = do
checkVersion Nothing
(_, ctx) <- ctxNew
keys <- getKeys ctx
(defun zap-up-to-char (arg char)
"Kill up to, but not including ARGth occurrence of CHAR.
Case is ignored if `case-fold-search' is non-nil in the current buffer.
Goes backward if ARG is negative; error if CHAR not found.
Ignores CHAR at point."
(interactive "p\ncZap up to char: ")
(let ((direction (if (>= arg 0) 1 -1)))
(kill-region (point)
(progn
(forward-char direction)
-----BEGIN CERTIFICATE-----
MIIHzTCCBrWgAwIBAgIDDjRgMA0GCSqGSIb3DQEBBQUAMIGMMQswCQYDVQQGEwJJ
TDEWMBQGA1UEChMNU3RhcnRDb20gTHRkLjErMCkGA1UECxMiU2VjdXJlIERpZ2l0
YWwgQ2VydGlmaWNhdGUgU2lnbmluZzE4MDYGA1UEAxMvU3RhcnRDb20gQ2xhc3Mg
MSBQcmltYXJ5IEludGVybWVkaWF0ZSBTZXJ2ZXIgQ0EwHhcNMTQwMTI4MTgzNTI3
WhcNMTUwMTMwMDgzNzAyWjBpMRkwFwYDVQQNExBpMW9DZjhHcE1VTWdKOXlwMQsw
CQYDVQQGEwJERTEaMBgGA1UEAxMRamFiYmVyZC5kcmF1Z3IuZGUxIzAhBgkqhkiG
9w0BCQEWFHBvc3RtYXN0ZXJAZHJhdWdyLmRlMIICIjANBgkqhkiG9w0BAQEFAAOC
Ag8AMIICCgKCAgEAnN2Ty0MmUPT2cmab3Q6AFNXnAmnFmLw3KZ4yuvKzWEI/2kQU
yu2S/kum1HmpGMHxXYOXiVLrGF77+besiFhiHJ7Zdi7UJp+WA659IbeaEmiPZ57l
#3.1.Scope
881MUSTDONE
#3.2.1.Preferred Process: SRV Lookup
935MUSTDONE
971SHOULD NOTDONE
976SHOULDDONE
#3.2.2.Fallback Processes
981SHOULDDONE
1047SHOULDDONE
1052SHOULDDONE