Nicolas Pouillard np
np
/ RTTI.hs
Created
June 12, 2017 13:24
— forked from edsko/RTTI.hs
Run-time type information in Haskell
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
| {-# LANGUAGE FlexibleContexts #-} | |
| {-# LANGUAGE FlexibleInstances #-} | |
| {-# LANGUAGE DataKinds #-} | |
| {-# LANGUAGE EmptyCase #-} | |
| {-# LANGUAGE GADTs #-} | |
| {-# LANGUAGE KindSignatures #-} | |
| {-# LANGUAGE MultiParamTypeClasses #-} | |
| {-# LANGUAGE PolyKinds #-} | |
| {-# LANGUAGE RankNTypes #-} | |
| {-# LANGUAGE ScopedTypeVariables #-} |
np
/ namecoin-update.rb
Last active
October 4, 2015 19:28
— forked from comboy/update.rb
update all your namecoin domains
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
| #!/usr/bin/ruby | |
| require 'json' | |
| JSON.load(`namecoind name_list`).each do |domain| | |
| if domain['expires_in'] < 5000 | |
| command = "namecoind name_update '#{domain['name']}' '#{domain['value']}'" | |
| puts command | |
| puts `#{command}` | |
| end | |
| end |
np
/ gist:202950
Created
October 6, 2009 11:59
— forked from kowey/gist:202581
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
| #!/bin/bash | |
| MSGID=$(grep 'Message-Id' | head -n 1 | sed 's/Message-Id: /:/') | |
| hsgtd add "$@" "$MSGID" |
np
/ gist:167685
Created
August 14, 2009 07:11
— forked from avsm/gist:166441
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
| (* defines the Ast.binding for a function of form: | |
| let fun_name ?(opt_arg1) ?(opt_arg2) final_ident = function_body ... | |
| XXX: figure out the quotation magic for this, if such exists | |
| *) | |
| let function_with_label_args _loc ~fun_name ~final_ident ~function_body ~return_type opt_args = | |
| let opt_args = opt_args @ [ <:patt< $lid:final_ident$ >> ] in | |
| let rec fn _loc = function | |
| |hd::tl -> <:expr< function $hd$ -> $fn _loc tl$ >> | |
| |[] -> <:expr< ( $function_body$ : $return_type$ ) >> | |
| in |