more doc corrections
this is why i don't even *try* to work unmedicated
This commit is contained in:
@@ -284,9 +284,9 @@ Core Transition Rules
|
|||||||
& h
|
& h
|
||||||
& m
|
& m
|
||||||
}
|
}
|
||||||
{ i
|
{ \mathtt{Unwind} : \nillist
|
||||||
& a : \nillist
|
& a : \nillist
|
||||||
& \langle i, s \rangle
|
& \langle i, s \rangle : d
|
||||||
& h
|
& h
|
||||||
& m
|
& m
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user