Anish Tondwalkar atondwal
anonymous
/ gist:5522343
Created
May 5, 2013 21:55
This file contains 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
| " This uses djinn for automatically generating Haskell code from type | |
| " signatures. Move your cursor over the type sig and type :Djinn. See also the | |
| " <http://www.augustsson.net/Darcs/Djinn/examples> examples page for more info | |
| " on using Djinn. | |
| command! -range Djinn | |
| \ <line1>,<line2>! | |
| \ sed 's/::/?/g' | |
| \ | djinn <(cat) | |
| \ | grep -v -- "-- loading file /dev/fd" |
This file contains 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
| <html> | |
| <title>rtb</title> | |
| <head> | |
| <meta http-equiv="refresh" content="5; url=http://twitter.com/r00tth3b0x"> | |
| </head> | |
| <body bgcolor="black"> | |
| <pre><center><font color="white"> | |
| d8888b. .d88b. .d88b. d888888b d888888b db db d88888b d8888b. .d88b. db db | |
| 88 `8D .8P Y8. .8P Y8. `~~88~~' `~~88~~' 88 88 88' 88 `8D .8P Y8. `8b d8' |