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
JosiahWitt / keybase.md
Created Sep 19, 2017
Keybase Verification
View keybase.md

Keybase proof

I hereby claim:

  • I am josiahwitt on github.
  • I am jwitt (https://keybase.io/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.