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
|
a594f28adf
|
First steps of syndicate-protocols notes
|
2022-06-01 15:41:50 +02:00 |