Tony Garnock-Jones
|
5a73e8d4c3
|
Alter dataspacePatterns language to make rec and arr more like dict
|
2024-04-04 16:31:09 +02:00 |
Tony Garnock-Jones
|
710ff91a64
|
Revise http protocol
|
2024-04-01 15:56:07 +02:00 |
Tony Garnock-Jones
|
c59e044695
|
Set embeddedType for noise
|
2024-03-28 15:49:48 +01:00 |
Tony Garnock-Jones
|
bf0d47f1b7
|
Repair noise protocol
|
2024-03-28 15:17:28 +01:00 |
Tony Garnock-Jones
|
5dd68e87c1
|
Preserves 0.993 lacks float
|
2024-02-03 15:16:23 +01:00 |
Tony Garnock-Jones
|
97876335ba
|
Save a few bytes on the wire. If not now, never I guess
|
2023-12-19 21:37:41 +13:00 |
Tony Garnock-Jones
|
d7b330e6dd
|
stdenv.prs
|
2023-12-04 22:25:40 +01:00 |
Tony Garnock-Jones
|
72566ac223
|
Update for Preserves 0.990
|
2023-10-18 14:02:28 +02:00 |
Tony Garnock-Jones
|
d8a139b23a
|
Switch back to transport sequence representation
|
2023-02-11 21:49:49 +01:00 |
Tony Garnock-Jones
|
46fd2dec3b
|
Set of any for transports in gatekeeper.Route
|
2023-02-11 17:43:42 +01:00 |
Tony Garnock-Jones
|
1ae2583414
|
Remove accidental self-qualification
|
2023-02-09 23:07:43 +01:00 |
Tony Garnock-Jones
|
f3c9662607
|
Another small error
|
2023-02-08 23:43:51 +01:00 |
Tony Garnock-Jones
|
82624d3007
|
Another small error
|
2023-02-08 23:39:42 +01:00 |
Tony Garnock-Jones
|
8b690b9103
|
Repair minor error
|
2023-02-08 23:36:21 +01:00 |
Tony Garnock-Jones
|
5a52f243e5
|
Adjust steps in noise and sturdy
|
2023-02-08 23:11:05 +01:00 |
Tony Garnock-Jones
|
6224baa2b6
|
Avoid variable-arity steps
|
2023-02-08 23:04:42 +01:00 |
Tony Garnock-Jones
|
8619342e5e
|
Refinements
|
2023-02-08 22:11:45 +01:00 |
Tony Garnock-Jones
|
5bcb268ff8
|
Adjust ResolvePath/TransportConnection/PathStep
|
2023-02-08 20:36:14 +01:00 |
Tony Garnock-Jones
|
9cd2e6776c
|
Refactor gatekeeper protocols.
|
2023-02-08 17:46:47 +01:00 |
Tony Garnock-Jones
|
ee8a23aa2e
|
Switch from milliseconds to seconds. Fixes #1
|
2023-02-06 15:36:17 +01:00 |
Tony Garnock-Jones
|
5cd0335a79
|
Argh, previous commit won't work
|
2023-02-06 11:06:02 +01:00 |
Tony Garnock-Jones
|
b52da09081
|
More usable (?) rewrite language
|
2023-02-06 10:58:16 +01:00 |
Tony Garnock-Jones
|
9ca618268e
|
Simplify attenuations
|
2023-02-06 10:45:41 +01:00 |
Tony Garnock-Jones
|
9f1f76d0ca
|
Remove racketEvent.prs
|
2023-02-04 16:30:27 +01:00 |
Tony Garnock-Jones
|
f4078aabaa
|
Update binary bundle
|
2023-02-04 13:46:49 +01:00 |
Tony Garnock-Jones
|
07a5f688be
|
Repair binary bundle
|
2023-01-27 12:52:07 +01:00 |
Tony Garnock-Jones
|
fff84d4c2a
|
Update noise mapping
|
2023-01-27 12:45:02 +01:00 |
Tony Garnock-Jones
|
e8881f5980
|
Now I have actually implemented Noise, revise the schema
|
2023-01-19 12:18:58 +01:00 |
Tony Garnock-Jones
|
0f5e033174
|
noise
|
2023-01-16 15:52:46 +01:00 |
Tony Garnock-Jones
|
aae53b5525
|
Update precompiled form
|
2023-01-16 15:51:57 +01:00 |
Tony Garnock-Jones
|
ca92d99c52
|
Remove notion of "system-layer-service" from core protocols
|
2022-02-04 14:26:50 +01:00 |
Tony Garnock-Jones
|
19c96bdef2
|
Allow userDefined states
|
2022-02-03 22:55:06 +01:00 |
Tony Garnock-Jones
|
ab34b62cf1
|
Refine the trace protocol a bit
|
2022-01-20 09:40:53 +01:00 |
Tony Garnock-Jones
|
5a65256cf3
|
Syndicate traces
|
2022-01-19 14:24:21 +01:00 |
Tony Garnock-Jones
|
257c604e2b
|
Repair bad record pattern
|
2022-01-17 00:22:10 +01:00 |
Tony Garnock-Jones
|
a06d532006
|
Extension point. Closes #2
|
2022-01-16 21:17:36 +01:00 |
Tony Garnock-Jones
|
e04b898c7f
|
Adjustments to service.prs
|
2022-01-07 15:29:20 +01:00 |
Tony Garnock-Jones
|
5f60c22e49
|
More simplifications, to sturdy this time
|
2021-12-13 15:43:01 +01:00 |
Tony Garnock-Jones
|
49075e7e84
|
Embedded values count as atoms here
|
2021-12-13 14:22:32 +01:00 |
Tony Garnock-Jones
|
b3e24d819c
|
Experiment: stricter, simpler dataspacePatterns
|
2021-12-13 13:49:58 +01:00 |
Tony Garnock-Jones
|
b42230b96a
|
ServiceObject
|
2021-10-06 21:51:08 +02:00 |
Tony Garnock-Jones
|
239b1b15cc
|
Repair incorrect definition name
|
2021-09-27 13:57:12 +02:00 |
Tony Garnock-Jones
|
b4b4995d84
|
Oops - wanted literals, but had refs instead
|
2021-09-27 13:50:29 +02:00 |
Tony Garnock-Jones
|
422904010b
|
Refine approach to services
|
2021-09-27 13:48:26 +02:00 |
Tony Garnock-Jones
|
6cfd97c91a
|
Remove protocol variant complication (experimental)
|
2021-09-24 12:57:05 +02:00 |
Tony Garnock-Jones
|
770fb79882
|
Develop service model
|
2021-09-24 12:56:30 +02:00 |
Tony Garnock-Jones
|
0ff8c2c872
|
Stdio transport
|
2021-08-19 18:17:51 -04:00 |
Tony Garnock-Jones
|
c2de82a2b7
|
schemas/transportAddress.prs
|
2021-08-18 22:59:59 -04:00 |
Tony Garnock-Jones
|
9445a71b53
|
Use correct latest version of preserves-schemac
|
2021-08-11 16:05:36 -04:00 |
Tony Garnock-Jones
|
8cd601a777
|
Remove name field from DBind
|
2021-08-11 15:43:29 -04:00 |