gilbertw1

 Xft.dpi: 120
 Xft.antialias:  true
 Xft.hinting:    true
 Xft.rgba:       rgb
 Xft.hintstyle:  hintslight

rofi.color-enabled: true
rofi.color-window: #282828, #282828, #268bd2
rofi.color-normal: #282828, #ffffff, #282828, #268bd2, #ffffff
rofi.color-active: #282828, #268bd2, #282828, #268bd2, #205171

minux

assume the patched git is in git-2.2.0/, patched fast-export is at fast-export/ (git://repo.or.cz/fast-export.git)
The conversion command line is:

mkdir target
cd target
git init
PATH=../git-2.2.0:$PATH ../fast-export/hg-fast-export.sh -r /path/to/hg/repo --hgtags # --hgtags is very important.

Caveats:
Because during the history of go, there used to exist these two files:

hallettj

# Category Theory proofs in Idris

Idris is a language with dependent types, and is similar to Agda.
What distinguishes Idris is that it is intended to be a general-purpose language first,
and a theorem prover second.
To that end it supports optional totality checking
and features to support writing DSLs:
type classes,
do notation,
monad comprehensions (i.e., a more general form of list comprehension),

nsmaciej

xsetroot -cursor_name left_ptr
xrdb ~/.Xdefaults
xmodmap ~/.Xmodmap
xcompmgr -c -l -8 -t -8 -o .50 -r 6 &
sleep 2 && (~/Dotfiles/Bin/8bitday.sh >> /tmp/8bitday.log 3>&1 &)
xrandr --output VGA1 --auto --above LVDS1
exec /home/mgoszcz2/.cabal/bin/xmonad

redraiment

Y组合子是Lambda演算的一部分，也是函数式编程的理论基础。

它是一种方法/技巧，在没有赋值语句的前提下定义递归的匿名函数。
即仅仅通过Lambda表达式这个最基本的“原子”实现循环/迭代。
颇有道生一、一生二、二生三、三生万物的感觉。

虽然Y组合子在理论上很优美，但在实际开发中并不会真的用到。

想要了解Y组合子是什么，请参见维基百科：http://en.wikipedia.org/wiki/Fixed-point_combinator#Y_combinator
或者知乎上的回答：http://www.zhihu.com/question/20115649