William J. Bowman
b79e64523a
Reflection, now with the ability to run code!
2015-01-30 17:55:09 -05:00
William J. Bowman
8e768a7029
Require/provide now export/import gamma and sigma
2015-01-30 16:33:22 -05:00
William J. Bowman
d4aeb944e3
Merge branch 'master' into cross-modules
2015-01-29 22:45:03 -05:00
William J. Bowman
ec95026066
Renamed kernel to curnel. An important pun.
2015-01-29 22:44:30 -05:00
William J. Bowman
1c94591c27
Fixed various errors in expansion
...
* Expansion now proceeds correctly on all examples, although reduction
does not
* Drastically reorganized how wrapper work.
* Added/remove TODOs
2015-01-28 19:56:50 -05:00
William J. Bowman
c24650ef01
Started work to enable reflection
...
* sigma, gamma extended at expand time
* All type-checking happens at expand time
* Locally expand all forms into core redex forms. However, this seems to
be causing problems. Probably not controlling expansion just right.
2015-01-27 23:55:50 -05:00
William J. Bowman
96f9343029
Reorganizing "pltools" to be more suggestive
2015-01-27 19:10:54 -05:00
