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
|
5a52f243e5
|
Adjust steps in noise and sturdy
|
2023-02-08 23:11:05 +01:00 |
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 |