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
434c1aa72b
Progress: module+ works, require/provide not yet.
2015-01-30 03:31:29 -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
9ebc1723c6
Renamed project to cur. tehe
2015-01-27 19:07:17 -05:00
William J. Bowman
0a5568b78c
Fixed hygeine issues in define-language
...
* Now data gets properly defined!
* Export begin from redex-core.
* Added nat, needed by pltools.
2015-01-23 01:09:06 -05:00
