8 Commits

Author	SHA1	Message	Date
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	5f60c22e49	More simplifications, to sturdy this time	2021-12-13 15:43:01 +01: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	993cf78a38	DeBruijn-like binding in patterns	2021-07-12 21:10:19 +02:00
Tony Garnock-Jones	f7c6e7d164	Specify embedded type for sturdy.prs	2021-07-03 09:00:58 +02:00
Tony Garnock-Jones	93c196acaa	Move schemas into subdirectory after subtree split	2021-07-01 09:51:53 +02:00

Renamed from sturdy.prs (Browse further)