Thijs Alkemade xnyhps
xnyhps
/ .GlobalPreferences.plist patch
Created
October 23, 2010 19:04
Add this to your ~/Library/Preferences/.GlobalPreferences.plist to have agda-mode's text substitutions in any Cocoa app!
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <dict> | |
| <key>on</key> | |
| <integer>1</integer> | |
| <key>replace</key> | |
| <string>\eq</string> | |
| <key>with</key> | |
| <string>=</string> | |
| </dict> | |
| <dict> | |
| <key>on</key> |
xnyhps
/ gist:608666
Created
October 3, 2010 15:35
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ↔ cabal install haskell-src-exts -v3 (17:34:49 03-10) | |
| searching for ghc in path. | |
| found ghc at /usr/local/bin/ghc | |
| ("/usr/local/bin/ghc",["--numeric-version"]) | |
| /usr/local/bin/ghc is version 6.13.20100618 | |
| looking for package tool: ghc-pkg near compiler in /usr/local/bin | |
| found package tool in /usr/local/bin/ghc-pkg | |
| ("/usr/local/bin/ghc-pkg",["--version"]) | |
| /usr/local/bin/ghc-pkg is version 6.13.20100618 | |
| ("/usr/local/bin/ghc",["--supported-languages"]) |
xnyhps
/ gist:354660
Created
April 3, 2010 16:37
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| % fractal.gml | |
| % | |
| % OUTPUTS fractal.ppm | |
| % | |
| % Fractal thingie with spheres. | |
| % | |
| %include "surface.ins" | |
| { /n /ks /kd /color |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| lmakeSearchCommand({ | |
| name: "Wowhead", | |
| url: "http://www.wowhead.com/?search={QUERY}", | |
| icon: "http://www.wowhead.com/favicon.ico", | |
| description: "Searches Wowhead for your keywords.", | |
| author: {name: "Thijs Alkemade"}, |
NewerOlder