sdiehl/write-you-a-haskell
1
1
Fork 0
mirror of https://github.com/sdiehl/write-you-a-haskell.git synced 2024-09-11 19:47:31 +03:00
Code Issues Projects Releases Wiki Activity

fix progress definition latex

Browse Source
This commit is contained in:
Stephen Diehl 2015-01-06 10:41:34 -05:00
parent 46b425bea7
commit 7ee4ba163f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
type_systems.md
View File

@ -134,7 +134,7 @@ dynamics of the language. This equivalence is modeled by two properties that
relate the types and evaluation semantics:
* **Progress** : If an expression is well typed then either it is a value, or it can be further evaluated by an available evaluation rule.
* **Preservation** : If an expression $e$ has type $\tau$, and is evaluated to $e'$, then $e'$ has type $t$.
* **Preservation** : If an expression $e$ has type $\tau$, and is evaluated to $e'$, then $e'$ has type $\tau$.
Types
-----