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 |