izhangzhihao

Locate the section for your github remote in the .git/config file. It looks like this:

[remote "origin"]
	fetch = +refs/heads/*:refs/remotes/origin/*
	url = git@github.com:joyent/node.git

Now add the line fetch = +refs/pull/*/head:refs/remotes/origin/pr/* to this section. Obviously, change the github url to match your project's URL. It ends up looking like this:

izhangzhihao

Haskeller Competency Matrix

See also List of materials about Software Design in Haskell

	Junior	Middle	Senior	Architect
Haskell level	Basic Haskell	Intermediate Haskell	Advanced Haskell	Language-agnostic
Haskell knowledge scope	Learn you a Haskell	Get programming with Haskell	Haskell in Depth	Knows several languages from different categories
	Get programming with Haskell	Haskell in Depth	Functional Design and Architecture
			[Other books on Software Architecture in Haskell](https://github.com/graninas/software-design-in-haskell#Books-on-S

izhangzhihao

Generalized Algebraic Data Types in Scala

Basic GADTs

Here's an ADT which is not a GADT, in Haskell:

data Expr = IntExpr Int | BoolExpr Bool

izhangzhihao

<application>
  <component name="RainbowSettings">
    <option name="rainbowifyHTMLInsideJS" value="true" />
    <option name="version" value="5.1" />
    <option name="lightRoundBracketsColors">
      <array>
        <option value="0x263238" />
        <option value="0x455a64" />
        <option value="0x607d8b" />
        <option value="0x90a4ae" />