Andrew Whatson
|
9bb4fa1985
|
Port most of prescheme c package
|
2022-08-16 19:52:18 +10:00 |
|
Andrew Whatson
|
6819ceb566
|
Port prescheme external-values package
|
2022-08-16 16:09:11 +10:00 |
|
Andrew Whatson
|
a722ba4b4d
|
Port most of prescheme c-primop-data package
|
2022-08-16 15:37:39 +10:00 |
|
Andrew Whatson
|
a10b7d33f1
|
Port most of prescheme primop-data package
|
2022-08-16 13:10:17 +10:00 |
|
Andrew Whatson
|
eca30e716c
|
Port prescheme c-primop package
|
2022-08-16 12:45:46 +10:00 |
|
Andrew Whatson
|
ed9cab6ddf
|
Resolve some missing symbols
|
2022-08-16 12:39:37 +10:00 |
|
Andrew Whatson
|
3212e073c3
|
Port prescheme node-types package
|
2022-08-16 12:39:35 +10:00 |
|
Andrew Whatson
|
4a1df124c2
|
Port most of prescheme inference package
|
2022-08-16 12:19:18 +10:00 |
|
Andrew Whatson
|
263fdc7842
|
Stub expand-define-record-type
|
2022-08-16 11:42:20 +10:00 |
|
Andrew Whatson
|
9aa0928858
|
Stub prescheme linking package
|
2022-08-15 17:21:23 +10:00 |
|
Andrew Whatson
|
7fc7400b42
|
Fix incorrect listing of to-cps
|
2022-08-15 17:02:26 +10:00 |
|
Andrew Whatson
|
b1f087cd07
|
Resolve some missing symbols
|
2022-08-15 16:58:10 +10:00 |
|
Andrew Whatson
|
f0d70d3c52
|
Port scheme bcomp name package
|
2022-08-15 16:33:10 +10:00 |
|
Andrew Whatson
|
da44d58f93
|
Port most of prescheme to-cps package
|
2022-08-15 16:33:08 +10:00 |
|
Andrew Whatson
|
d0cf34aa6b
|
Port scheme locations package
|
2022-08-15 15:22:32 +10:00 |
|
Andrew Whatson
|
79408f00a9
|
Port scheme bcomp binding package
|
2022-08-15 13:18:18 +10:00 |
|
Andrew Whatson
|
8795c99f53
|
Stub prescheme flatten package
|
2022-08-15 12:57:30 +10:00 |
|
Andrew Whatson
|
c1166c1d1b
|
Review node/variable interface imports
|
2022-08-15 12:41:41 +10:00 |
|
Andrew Whatson
|
7a6e0ff177
|
Separate node and variable interfaces
|
2022-08-15 12:08:30 +10:00 |
|
Andrew Whatson
|
1c3eb6636b
|
Stub prescheme primitive-data package
|
2022-08-12 12:42:11 +10:00 |
|
Andrew Whatson
|
e0143d77a3
|
Port scheme bcomp node package
|
2022-08-12 12:42:06 +10:00 |
|
Andrew Whatson
|
7165f2e939
|
Stub prescheme eval-node package
|
2022-08-12 01:28:53 +10:00 |
|
Andrew Whatson
|
796907c7c0
|
Port prescheme primitive package
|
2022-08-11 20:22:44 +10:00 |
|
Andrew Whatson
|
d7545b6970
|
Stub prescheme expand package
|
2022-08-11 20:16:03 +10:00 |
|
Andrew Whatson
|
21aa17d6bc
|
Resolve some missing symbols
|
2022-08-11 16:50:02 +10:00 |
|
Andrew Whatson
|
e3884d0453
|
Stub prescheme form package
|
2022-08-08 23:51:14 +10:00 |
|
Andrew Whatson
|
688a1fe410
|
Stub prescheme front-end package
|
2022-08-08 23:34:49 +10:00 |
|
Andrew Whatson
|
c84c492567
|
Port prescheme protocol package
|
2022-08-08 23:23:16 +10:00 |
|
Andrew Whatson
|
f92d8f1c39
|
Initial prescheme-display stubs
|
2022-08-08 23:23:16 +10:00 |
|
Andrew Whatson
|
c0f994b559
|
Initial prescheme-compile & pattern-simplifier stubs
|
2022-08-08 23:23:14 +10:00 |
|
Andrew Whatson
|
a661cb60a9
|
Updates to hall configuration
|
2022-08-07 15:03:30 +10:00 |
|
Andrew Whatson
|
8e5cacb487
|
Update direnv to use guix.scm
|
2022-08-05 11:43:36 +10:00 |
|
Andrew Whatson
|
e0df0bde50
|
Inserted email there
|
2022-08-05 11:33:54 +10:00 |
|
Christine Lemmer-Webber
|
97b7bba23a
|
Rest of files we want to customize generated by Hall, gitignore the rest
|
2022-08-04 13:53:39 -04:00 |
|
Christine Lemmer-Webber
|
a4e529db26
|
Initial version of hall.scm and the things it pulls in
|
2022-08-04 13:48:19 -04:00 |
|
Andrew Whatson
|
1046b9d655
|
Port remaining ps-compiler util modules
|
2022-08-04 16:46:09 +10:00 |
|
Andrew Whatson
|
73b85b4c0b
|
Port simplify-call, simplify-let, simplify-join interfaces
|
2022-08-04 16:03:29 +10:00 |
|
Andrew Whatson
|
922cd6c8be
|
Port the cps-util interface
|
2022-08-02 20:49:00 +10:00 |
|
Andrew Whatson
|
75440e2d5c
|
Port the rest of the front interface
|
2022-08-02 20:41:46 +10:00 |
|
Andrew Whatson
|
e9aa3d1028
|
Port the simplify interface
|
2022-08-02 20:34:11 +10:00 |
|
Andrew Whatson
|
ded9eb281a
|
Fixes for let-nodes expansion
|
2022-08-02 20:32:02 +10:00 |
|
Andrew Whatson
|
92308c8058
|
Port a few more ps-compiler interfaces
|
2022-08-02 00:39:18 +10:00 |
|
Andrew Whatson
|
ebc4471058
|
Port node-vector & expanding-vectors interfaces
|
2022-08-01 22:09:04 +10:00 |
|
Andrew Whatson
|
399028ccce
|
Remove unused imports
|
2022-08-01 22:02:24 +10:00 |
|
Andrew Whatson
|
ff126b37ab
|
Brain dump ideas for future work
|
2022-08-01 11:28:50 +10:00 |
|
Andrew Whatson
|
e1b6b3606e
|
Port the check-nodes interface
|
2022-07-31 00:24:12 +10:00 |
|
Andrew Whatson
|
07624fdfba
|
Port the pp-cps interface
|
2022-07-31 00:14:55 +10:00 |
|
Andrew Whatson
|
1e593cd411
|
Finish porting the node interface
|
2022-07-30 00:10:32 +10:00 |
|
Andrew Whatson
|
f3002b53b7
|
Remove leftover debug from let-nodes
|
2022-07-29 20:19:58 +10:00 |
|
Andrew Whatson
|
a953c41133
|
Port let-nodes, new-lambda, new-call macros
|
2022-07-29 20:16:54 +10:00 |
|