15 Commits

Author	SHA1	Message	Date
Tony Garnock-Jones	8619342e5e	Refinements	2023-02-08 22:11:45 +01:00
Tony Garnock-Jones	9cd2e6776c	Refactor gatekeeper protocols.	2023-02-08 17:46:47 +01:00
Tony Garnock-Jones	a086c1d721	Repair typo	2023-02-07 13:18:18 +01:00
Tony Garnock-Jones	bc41182533	Another small repair	2023-02-07 13:11:14 +01:00
Tony Garnock-Jones	2ad99b56b8	Be more precise about HMAC-BLAKE2s-256 and the key length	2023-02-07 12:44:47 +01:00
Tony Garnock-Jones	f6b88ee3fb	Switch to HMAC-BLAKE2s	2023-02-06 16:19:03 +01:00
Tony Garnock-Jones	5cd0335a79	Argh, previous commit won't work	2023-02-06 11:06:02 +01:00
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)