Permalink
Browse files

Update doc.md

corrected type in evaluation rule (Ctx)
  • Loading branch information...
aha66 committed Nov 16, 2016
1 parent 091f8ff commit 7208debc9b92da551cbb8095c7fd31e8a3217cb5
Showing with 3 additions and 3 deletions.
  1. +3 −3 dev/lf/doc.md
View
@@ -50,9 +50,9 @@ Here is [the corresponding Coq script](dot_top_bot.v).
(Let-Value)
s | let x = v in t --> s, x = v | t
(Ctx)
- s | t --> s' | t'
- ------------------------------------
- let x = t in u --> let x = t' in u
+ s | t --> s' | t'
+ ---------------------------------------------
+ s | let x = t in u --> s' | let x = t' in u
***

0 comments on commit 7208deb

Please sign in to comment.