michaelballantyne

#lang racket/base

(require
  (for-syntax
   racket/base
   syntax/parse)

  (only-in hackett #%app)
  hackett/private/base
  hackett/private/adt)

michaelballantyne

#lang racket

(require
  '#%expobs
  syntax/modcode)

(define (expand/observe stx)
  (parameterize ([current-expand-observe (lambda (x y)
                                           (when #t
                                             (writeln y)))])

michaelballantyne

#lang hackett

(require (only-in racket module quote let-syntax define-for-syntax define-syntax for-syntax)
         (for-syntax racket syntax/parse))

; Helper for syntax stuff later
(module deflang racket
  (require (for-syntax syntax/parse))
  (provide define-language define-language-syntax)

michaelballantyne

#lang racket/base

(require racket/place
         racket/list
         racket/sequence
         (except-in racket/match ==)
         minikanren)

(define-syntax-rule (forever proc)
  (let loop () (proc) (loop)))

michaelballantyne

module Main

import Data.Vect
import Data.Fin

data NumType =
  NAT
  | FIN Nat

data LocType =

michaelballantyne

#!/usr/bin/env python
# Public domain.
"""A script to establish an SSH SOCKS proxy and enable it in the OS X network configuration.
Cleanly handles failure to connect. Kills ssh and removes network configuration on CTRL-C.
First argument gives the hostname for use with ssh."""

import subprocess, sys, signal

proxy_command_base = ['networksetup', '-setsocksfirewallproxystate', 'Wi-Fi']