 Andrew Whatson
|
c1166c1d1b
Review node/variable interface imports
|
1 year ago |
|
Andrew Whatson
|
7a6e0ff177
Separate node and variable interfaces
|
1 year ago |
|
Andrew Whatson
|
1c3eb6636b
Stub prescheme primitive-data package
|
1 year ago |
|
Andrew Whatson
|
e0143d77a3
Port scheme bcomp node package
|
1 year ago |
|
Andrew Whatson
|
7165f2e939
Stub prescheme eval-node package
|
1 year ago |
|
Andrew Whatson
|
796907c7c0
Port prescheme primitive package
|
1 year ago |
|
Andrew Whatson
|
d7545b6970
Stub prescheme expand package
|
1 year ago |
|
Andrew Whatson
|
21aa17d6bc
Resolve some missing symbols
|
1 year ago |
|
Andrew Whatson
|
e3884d0453
Stub prescheme form package
|
1 year ago |
|
Andrew Whatson
|
688a1fe410
Stub prescheme front-end package
|
1 year ago |
|
Andrew Whatson
|
c84c492567
Port prescheme protocol package
|
1 year ago |
|
Andrew Whatson
|
f92d8f1c39
Initial prescheme-display stubs
|
1 year ago |
|
Andrew Whatson
|
c0f994b559
Initial prescheme-compile & pattern-simplifier stubs
|
1 year ago |
|
Andrew Whatson
|
a661cb60a9
Updates to hall configuration
|
1 year ago |
|
Andrew Whatson
|
8e5cacb487
Update direnv to use guix.scm
|
1 year ago |
|
Andrew Whatson
|
e0df0bde50
Inserted email there
|
1 year ago |
 Christine Lemmer-Webber
|
97b7bba23a
Rest of files we want to customize generated by Hall, gitignore the rest
|
1 year ago |
|
Christine Lemmer-Webber
|
a4e529db26
Initial version of hall.scm and the things it pulls in
|
1 year ago |
|
Andrew Whatson
|
1046b9d655
Port remaining ps-compiler util modules
|
1 year ago |
|
Andrew Whatson
|
73b85b4c0b
Port simplify-call, simplify-let, simplify-join interfaces
|
1 year ago |
|
Andrew Whatson
|
922cd6c8be
Port the cps-util interface
|
1 year ago |
|
Andrew Whatson
|
75440e2d5c
Port the rest of the front interface
|
1 year ago |
|
Andrew Whatson
|
e9aa3d1028
Port the simplify interface
|
1 year ago |
|
Andrew Whatson
|
ded9eb281a
Fixes for let-nodes expansion
|
1 year ago |
|
Andrew Whatson
|
92308c8058
Port a few more ps-compiler interfaces
|
1 year ago |
|
Andrew Whatson
|
ebc4471058
Port node-vector & expanding-vectors interfaces
|
1 year ago |
|
Andrew Whatson
|
399028ccce
Remove unused imports
|
1 year ago |
|
Andrew Whatson
|
ff126b37ab
Brain dump ideas for future work
|
1 year ago |
|
Andrew Whatson
|
e1b6b3606e
Port the check-nodes interface
|
1 year ago |
|
Andrew Whatson
|
07624fdfba
Port the pp-cps interface
|
1 year ago |
