 TakeV
|
d72bbdb52d
|
Convert repo into a channel
|
2024-05-08 20:17:28 -04:00 |
|
|
TakeV
|
bb496b3c97
|
Make guix package build out of the box
|
2024-05-08 18:57:58 -04:00 |
|
|
TakeV
|
1f3eb50b4f
|
Ignore prescheme compiler files, as they do not build
|
2024-05-08 18:45:50 -04:00 |
|
|
TakeV
|
1637c28451
|
Add missing library files to hall
|
2024-05-08 18:13:30 -04:00 |
|
|
TakeV
|
479fb02cd9
|
Update hall and guix files using the current version of hall
|
2024-05-08 18:02:46 -04:00 |
|
Andrew Whatson
|
382789414d
|
Update homepage to notabug.org
|
2023-04-05 22:30:42 +10:00 |
|
|
Andrew Whatson
|
f3f403c6fb
|
Update homepage to notabug.org
|
2023-04-05 22:29:21 +10:00 |
|
|
Andrew Whatson
|
d793730895
|
Port prescheme filename and stub prescheme env
|
2022-09-13 15:58:44 +10:00 |
|
|
Andrew Whatson
|
58871787bd
|
Port scheme bcomp usual package
|
2022-09-13 13:23:00 +10:00 |
|
|
Andrew Whatson
|
dea69cf049
|
Port scheme bcomp syntax package
|
2022-09-01 00:22:12 +10:00 |
|
|
Andrew Whatson
|
5c952bd3d2
|
Port scheme bcomp schemify package
|
2022-08-31 23:47:54 +10:00 |
|
|
Andrew Whatson
|
757d6cd802
|
Add some TODOs
|
2022-08-31 23:11:34 +10:00 |
|
|
Andrew Whatson
|
12ad996037
|
Port most of prescheme linking package
|
2022-08-24 13:08:35 +10:00 |
|
|
Andrew Whatson
|
43cb5386a3
|
Initial port of pattern-simplifier macro
|
2022-08-22 17:30:50 +10:00 |
|
|
Andrew Whatson
|
12be2fad53
|
Resolve some missing symbols
|
2022-08-16 23:09:49 +10:00 |
|
|
Andrew Whatson
|
4d32ae8879
|
Untangle prescheme c interdeps
|
2022-08-16 23:03:02 +10:00 |
|
|
Andrew Whatson
|
3bae437993
|
Replace destructure with match
|
2022-08-16 23:03:00 +10:00 |
|
|
Andrew Whatson
|
d5ba2e2172
|
Fix node-type collisions
|
2022-08-16 19:53:26 +10:00 |
|
|
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 |
|