10 Commits

Author	SHA1	Message	Date
Tony Garnock-Jones	9864ce0ec8	Switch `#!` to `#:`	2024-02-05 23:14:19 +01:00
Tony Garnock-Jones	5dd68e87c1	Preserves 0.993 lacks float	2024-02-03 15:16:23 +01:00
Tony Garnock-Jones	fe9ceaf65c	Update comment syntax for Preserves 0.991	2023-10-31 21:56:44 +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	8cd601a777	Remove name field from DBind	2021-08-11 15:43:29 -04:00
Tony Garnock-Jones	0b2c7ecfe1	Rename RefAny -> Cap	2021-07-22 14:12:53 +02:00
Tony Garnock-Jones	be6b30bba6	Switch Ref -> RefAny	2021-07-22 13:43:14 +02:00
Tony Garnock-Jones	e7ddfdf311	EntityRef.Ref in dataspacePatterns	2021-07-02 16:51:21 +02:00
Tony Garnock-Jones	93c196acaa	Move schemas into subdirectory after subtree split	2021-07-01 09:51:53 +02:00

Renamed from dataspacePatterns.prs (Browse further)