danking

#lang racket
(provide (all-defined-out))

(define (hyper n)
  (cond
   ;; [(= n 0) add1]
   [(= n 1) +]
   [(= n 2) *]
   [else (lambda (base r)
           (foldl (hyper (sub1 n))

danking

(for/while ([var init] ...)
           stop-proc
   body ...)
=>
(define (loop var ...)
  (if (stop-proc var ...)
      (values var ...)
      (let-values (((var ...) (begin body ...)))
        (loop var ...))))

danking

(define (hyperize f id-e)
  (define (f* b n)
    (if (zero? n) id-e (f b (f* b (sub1 n)))))
  f*)

;; modified Knuth Up-Arrow notation
(define (↑ n)
  (cond ((zero? n) +)
        ((= n 1) (hyperize + 0))
        (else (hyperize (↑ (sub1 n)) 1))))

danking

(define (hyperize f id-e)
  (define (f* b n)
    (if (zero? n) id-e (f b (f* b (sub1 n)))))
  f*)

-> ((hyperize + 0) 2 4)
8
-> ((hyperize + 0) 2 3)
6
-> ((hyperize + 0) 2 10)

danking

(global-set-key (kbd "C-c m")
                (lexical-let ((previous-buffer (current-buffer)))
                  (lambda ()
                    (interactive)
                    (if (string-match "\*Mingus.*" (buffer-name))
                        (switch-to-buffer previous-buffer)
                        (progn
                          (setq previous-buffer (current-buffer))
                          (mingus))))))

danking

gist.el -- Emacs integration for gist.github.com

Uses your local GitHub config if it can find it. See http://github.com/blog/180-local-github-config

Install

$ cd ~/.emacs.d/vendor

danking

gist-list - Lists your gists in a new buffer. Use arrow keys
to browse, RET to open one in the other buffer.

gist-region - Copies Gist URL into the kill ring.
With a prefix argument, makes a private gist.

danking

(define (datum-equal? x y)
  (let-values (((x y) (if (and (syntax? x) (syntax? y))
                          (values (syntax->datum x) (syntax->datum y))
                          (values x y))))
    (let-values (((x y) (if (and (struct? x) (struct? y))
                            (values (struct->vector x) (struct->vector y))
                            (values x y))))
      (if (and (sequence? x) (sequence? y))
          (for/and ([x-element x]
                    [y-element y])

danking

-*- mode: compilation; default-directory: "/home/danking/development/olin-coop/pda-to-pda-risc/" -*-
Compilation started at Wed Oct 19 11:01:54

racket parse-pda-macro.rkt
compile: bad syntax; literal data is not allowed, because no #%datum syntax transformer is bound in: #(struct:goto #<syntax:/home/danking/development/olin-coop/pda-to-pda-risc/parse-pda-macro.rkt:23:29 (A)> #<syntax:/home/danking/development/olin-coop/pda-to-pda-risc/parse-pda-macro.rkt:23:33 bar>)

 === context ===
standard-module-name-resolver

danking

Grammar

    0 $accept: foo $end

    1 foo: foo A
    2    | A


Terminals, with rules where they appear