Glen Whitney
6d63d23498
The main mechanism for simplification was simply to assume that ZeroType<T> and OneType<T> will always be in T. That removed a lot of specialized typing, and presumably will be true in practice. Otherwise, removes extraneous type definitions and adds/clarifies a number of comments to hopefully make the scheme as clear as possible. |
||
|---|---|---|
| .. | ||
| all.ts | ||
| arithmetic.ts | ||
| native.ts | ||
| predicate.ts | ||
| relational.ts | ||
| type.ts | ||