Tony Garnock-Jones
|
3cf2cafdb4
|
Single-precision floats are no more in Preserves
|
2024-05-18 14:19:36 +02:00 |
Tony Garnock-Jones
|
e4d0be69ba
|
Further updates to dataspacePatterns
|
2024-04-09 11:07:03 +02:00 |
Tony Garnock-Jones
|
56d9d3e89d
|
Update documentation of revised dataspacePatterns.prs language
|
2024-04-04 16:40:24 +02:00 |
Tony Garnock-Jones
|
83facdeee9
|
Update for new extensible matching semantics
|
2024-04-04 14:57:56 +02:00 |
Tony Garnock-Jones
|
a3c3700b26
|
Switch embedded preserves syntax from `#!` to `#:`
|
2024-02-06 00:11:04 +01:00 |
Tony Garnock-Jones
|
a874fc9aa8
|
Update for Preserves 0.991
|
2023-10-31 23:22:36 +01:00 |
Tony Garnock-Jones
|
9dadbd1ef4
|
Update for new gatekeeper protocol
|
2023-02-10 16:40:32 +01:00 |
Tony Garnock-Jones
|
3d9b377a62
|
Bring manual up to date and repair links
|
2023-02-07 13:30:13 +01:00 |
Tony Garnock-Jones
|
4a4700e1ad
|
More protocols
|
2022-10-13 11:22:10 +02:00 |
Tony Garnock-Jones
|
32f81ef892
|
Gatekeeper and SturdyRef
|
2022-10-13 10:37:06 +02:00 |
Tony Garnock-Jones
|
51463c324b
|
More protocol docs
|
2022-10-13 10:17:58 +02:00 |
Tony Garnock-Jones
|
8e304902a8
|
Flesh out protocol descriptions more
|
2022-10-12 21:58:29 +02:00 |
Tony Garnock-Jones
|
b686080af0
|
Stub out synit protocol docs
|
2022-10-12 16:06:26 +02:00 |
Tony Garnock-Jones
|
c3af8c2095
|
src/protocols/syndicate/protocol.md
|
2022-06-01 15:49:01 +02:00 |
Tony Garnock-Jones
|
a594f28adf
|
First steps of syndicate-protocols notes
|
2022-06-01 15:41:50 +02:00 |
Tony Garnock-Jones
|
268c652f6b
|
Preserves schemas
|
2022-06-01 14:47:24 +02:00 |