Here's an ADT which is not a GADT, in Haskell:
data Expr = IntExpr Int | BoolExpr Bool
<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" /> |
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 |
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: