blob: a2ec7751b5469bc5d80c9793d501acdc14440c3e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
(load "utils" user-initial-environment)
(load "ghelper" user-initial-environment)
(load "syntax" user-initial-environment)
(load "rtdata" user-initial-environment)
(define generic-evaluation-environment
(extend-top-level-environment user-initial-environment))
(define (eval-in-amb exp)
(eval exp generic-evaluation-environment))
(load "analyze-amb" generic-evaluation-environment)
(load "bnewbold_ps04_work" generic-evaluation-environment)
(load "repl-amb" generic-evaluation-environment)
(ge generic-evaluation-environment)
|
