Dionna Amalie Glaze deeglaze

I work in Google Cloud Security on confidential computing technology.

deeglaze / gist:3707924

Created September 12, 2012 16:33

Problematic define

	#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 / gist:3499555

Created August 28, 2012 16:07

Switch hyphen and underscore for Coq editing in emacs

	(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)