deeglaze

#lang racket
(require (for-syntax racket/struct-info))
(define-values (s:p mkp recp refp setp)
  (make-struct-type 'parent #f 1 0 #f))
(define-values (s:c mkc recc refc setc)
  (make-struct-type 'child s:p 1 0 #f))
(define (refc0 c) (refc c 0))
(define-syntax P 'gotcha!)
(define-syntax C
  (make-struct-info (λ ()

deeglaze

(define (flatten x)
  (cond
   ((pair? x)
    (append (flatten (car x)) (flatten (cdr x))))
   ((null? x) x)
   (else (list x))))

(flatten '((1 2) (((3 4 5)))))

deeglaze

#lang racket
(require (for-syntax racket/syntax
                     syntax/parse
                     racket/list
                     syntax/id-table
                     racket/match
                     syntax/struct
                     racket/struct-info))
(provide mk-op-struct)

deeglaze

(defun switch-hyphen ()
  (interactive)
  (define-key coq-mode-map (kbd "-") '(lambda () (interactive) (insert "_")))
  (define-key coq-mode-map (kbd "_") '(lambda () (interactive) (insert "-"))))
(add-hook 'coq-mode-hook 'switch-hyphen)

deeglaze

#lang racket

(define (f x) (cond [#f ;; or some other arbitrary computation that gives #f
                     (g x)]
                    [else x]))

(f 0)

(define (g x) x)

deeglaze

#lang racket

(require racket/trace
         (for-syntax syntax/parse))
;; 0CFA in the AAM style on some hairy Church numeral churning

;; Soundness, but at what cost?

(define <- (case-lambda))
(begin-for-syntax

deeglaze

#lang racket/load

(module tweaks racket
  (require (for-syntax syntax/parse))
  (provide <- for/union for*/union for*/set
           appl fix do join extend get-cont lookup-env lookup P parse
           compile widen push
           join-stores s->c c->s
           (struct-out ev^)
           (struct-out co^)

deeglaze

(require (for-syntax syntax/parse))
; syntax classes, syntax-parse patterns and unquote-syntax in your define-syntax-rule!
(define-syntax (define-syntax-rule* stx)
  (syntax-parse stx
    [(_ (name patterns ...) body ...)
     (syntax/loc stx
      (define-syntax (name syn)
        (syntax-parse syn
          [(_ patterns ...)
           (quasisyntax/loc syn (begin body ...))])))]))

deeglaze

(setq raco-location "raco")
(require 'paredit)

(setq raco-doc-history nil)
(defun call-raco-doc (text)
  (shell-command (concat raco-location " doc -- '" text "' &")))

(defun get-current-word ()
  (paredit-handle-sexp-errors
   (save-excursion

deeglaze

#lang racket
(require racket/unsafe/ops
         (for-syntax racket/fixnum racket/vector))
(provide fxcount)
;; Count set bits for 30 bit number in 5 steps.
;; for 62 bit number in 6.

(define-for-syntax lut
  #(#x2AAAAAAA
    #x0CCCCCCC