... | ... | @@ -15,3 +15,8 @@ Nick Frisby. We lift some lambdas before CorePrep. I'm still determining when to |
|
|
|
|
|
|
|
|
Nick Frisby. Make most dictionary arguments strict. It's stowed in a branch until `cardinality` is merged. It should be easier to implement after `cardinality`'s refactoring.
|
|
|
|
|
|
### `type-nats` Solver for Type-Level Naturals
|
|
|
|
|
|
|
|
|
Iavor S. Diatchki. An experimental solver for discharging constraints involving natural numbers. |