Tony Garnock-Jones
|
fbda60c96b
|
Merge branch 'schema-notes' into 'main'
Note on ordering and default initialization
See merge request preserves/preserves!5
|
2022-08-23 13:28:31 +00:00 |
Tony Garnock-Jones
|
b332f2668e
|
Begin sketch of Preserves Schema semantics
|
2022-06-09 21:30:56 +02:00 |
Tony Garnock-Jones
|
cd635477c6
|
Tweak
|
2022-06-09 15:37:29 +02:00 |
Tony Garnock-Jones
|
9ba8617952
|
Attempt to clarify Preserves Schema relationship to host-language types.
|
2022-06-09 14:59:53 +02:00 |
Emery Hemingway
|
4ae8c341c9
|
Note on ordering and default initialization
|
2021-11-11 21:23:03 +01:00 |
Tony Garnock-Jones
|
1668fdc6dd
|
Notes on identifiers and capitalization conventions
|
2021-10-14 13:11:40 +02:00 |
Tony Garnock-Jones
|
5fded03fa4
|
Alternative encoding of optional values in preserves-schema.md
|
2021-09-30 14:46:35 +02:00 |
Tony Garnock-Jones
|
0507ab2f38
|
Repair errors in preserves-schema.md
|
2021-09-30 14:46:19 +02:00 |
Tony Garnock-Jones
|
60d1be41a3
|
Rename NamedSimplePattern_ -> Binding
|
2021-06-25 10:25:26 +02:00 |
Tony Garnock-Jones
|
fdb43f6292
|
Constrain names/identifiers in schemas to be lowest-common-denominator.
|
2021-06-25 09:45:07 +02:00 |
Tony Garnock-Jones
|
8d96743d53
|
Redo schema embedded value patterns to use embedded syntax and an interface schema
|
2021-06-01 16:10:04 +02:00 |
Tony Garnock-Jones
|
a44884d9f5
|
Tweaks
|
2021-05-31 11:48:52 +02:00 |
Tony Garnock-Jones
|
ed3cd8de26
|
Repair typo
|
2021-05-25 23:01:16 +02:00 |
Tony Garnock-Jones
|
3559cc679e
|
Document inclusion in schemas
|
2021-05-25 20:13:18 +02:00 |
Tony Garnock-Jones
|
badb059440
|
Note re DSL-to-AST translation
|
2021-05-25 14:37:44 +02:00 |
Tony Garnock-Jones
|
668d4e6271
|
Repair typo
|
2021-05-25 14:37:34 +02:00 |
Tony Garnock-Jones
|
de7ac63b96
|
First stab at specification of Schema
|
2021-05-25 14:11:33 +02:00 |