Josiah Witt JosiahWitt

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

## keybase.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                JosiahWitt
                / keybase.md
            
            
              Created
              September 19, 2017 12:50
            
              
                Keybase Verification
              
          
    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:
	;;; ......


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