Skip to content

Instantly share code, notes, and snippets.

Josiah Witt JosiahWitt

Block or report user

Report or block JosiahWitt

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
View interp-R1.rkt
;;; ......
(define (interp-x86 e)
(define (interp* ss env)
(match ss
['((retq)) (lookup '(reg rax) env)]
[`(,instr . ,instr*) (interp* instr* (cons (interp-instr instr env) env))]))
(define (interp-instr instr env)
JosiahWitt /
Created Sep 19, 2017
Keybase Verification

Keybase proof

I hereby claim:

  • I am josiahwitt on github.
  • I am jwitt ( on keybase.
  • I have a public key ASDPafUPqj0uXOo0ysPdlKsSQPnOEMtuxrBoddZOhzyxwwo

To claim this, I am signing this object:

You can’t perform that action at this time.