Add pretty printer for states

2025-06-05 23:46:41 -04:00 · 2025-06-05 23:46:41 -04:00 · d324fdd5d7
commit d324fdd5d7
parent 716c16a4c4
2 changed files with 46 additions and 0 deletions
--- a/semantics.rkt
+++ b/semantics.rkt
@ -134,3 +134,5 @@
       (allocate-node heap1 (list addr-f addr-a)))]
    [(? symbol?) (values heap (lookup-globals env e))]
    [_ (error "unimplemented")]))
+
+(provide (all-defined-out))