86a2e0d2ed
In dependent type system, Σ is normally the symbol for strong sums, not signatures/declarations. While Δ is sometimes used as an alternative to Γ, using it for inductive signatures. |
||
|---|---|---|
| .. | ||
| redex-core.rkt | ||
| redex-lang.rkt | ||