- changed status to resolved
bindings in type environment should use same type relation
Issue #27
resolved
Would it be less confusing to not have different syntax for environment bindings and other parts of a type rule.
So it would be better to write:
[x ≫ x- ⇒ τ1] ⊢ e ≫ e- ⇒ τ2
or
[x ≫ x- ⇒ : τ1] ⊢ e ≫ e- ⇒ : τ2
instead of something like
[x ≫ x- : τ1] ⊢ e ≫ e- ⇒ τ2
Comments (3)
-
reporter -
reporter allow types at runtime; fixes
#26, fixes#27→ <<cset cefcf5e53b09>>
-
reporter allow types at runtime; fixes
#26, fixes#27→ <<cset e1d9d0071427>>
- Log in to comment
allow types at runtime; fixes
#26, fixes#27→ <<cset a90dcb7279d3>>