brenthall

let (!): bool => bool;
let (&&): (bool, bool) => bool;
let (||): (bool, bool) => bool;


let (~-): int => int;
let (~+): int => int;
let succ: int => int;
let pred: int => int;
let (+): (int, int) => int;

brenthall

Keybase proof

I hereby claim:

• I am brenthall on github.
• I am brenthall (https://keybase.io/brenthall) on keybase.
• I have a public key whose fingerprint is C1FA 2D6C 818E AB9D C43E B774 A928 2E15 8B11 D1C3

To claim this, I am signing this object:

brenthall

tap 'caskroom/cask'
tap 'homebrew/bundle'
tap 'homebrew/core'
tap 'homebrew/services'
brew 'ack'
brew 'autoconf'
brew 'autojump'
brew 'xz'
brew 'automake'
brew 'colordiff'

brenthall

http://www.fontsquirrel.com/fonts/download/1942-report
http://www.fontsquirrel.com/fonts/download/20-db
http://www.fontsquirrel.com/fonts/download/3Dumb
http://www.fontsquirrel.com/fonts/download/Aaargh
http://www.fontsquirrel.com/fonts/download/Acknowledgement
http://www.fontsquirrel.com/fonts/download/Action-Man
http://www.fontsquirrel.com/fonts/download/Adelle-Basic
http://www.fontsquirrel.com/fonts/download/Adhesive-Nr.-Seven
http://www.fontsquirrel.com/fonts/download/Adler
http://www.fontsquirrel.com/fonts/download/afta-sans

brenthall

.CodeMirror-scroll {
  height: 100%;
  min-height:300px;
}

.cm-s-tomorrow-night{
  font-family:'Menlo', 'Consolas', "Vera Mono", monospace;
  font-size:12px;
}
.cm-s-tomorrow-night { background: none; color: rgb(96,97,94); }

brenthall

brew install imagemagik
brew install nginx

sudo cp -r  /Volumes/Development/config/nginx/* /usr/local/etc/nginx/*

# nginx will not run on port 80 by default
sudo cp /Volumes/Development/config/LaunchDaemons/org.nginx.nginx.plist /Library/LaunchDaemons/org.nginx.nginx.plist


# dealing with different versions of grails

brenthall

<#macro tweets username, count = 5, include_rts=true>
  
  <#local callbackFn = "twitterCallback_" + username + "_" + count?c/>
  
  <#local layout>
    <#nested/>
  </#local>
  
  <script type="text/javascript">
    function ${

brenthall

<#macro gaTracking>
  
  <#if website.gaTrackingCode?length != 0 >
    
    <script type="text/javascript">
      var _gaq = _gaq || [];
      _gaq.push(["_setAccount", "${website.gaTrackingCode}"]);
      _gaq.push(["_trackPageview"]);
      (function() {
        var ga = document.createElement("script");