michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fixed display pragrams for Stlc

Browse source
This commit is contained in:
Pepijn Kokke 2017-03-10 12:02:28 +00:00
parent fda61b9055
commit ca7607c6f2
No known key found for this signature in database
GPG key ID: EF467CD387487CB8
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
Stlc.lagda
View file

@ -207,9 +207,9 @@ z = id 2
<div class="hidden">
\begin{code}
{-# DISPLAY zero = x #-}
{-# DISPLAY suc zero = y #-}
{-# DISPLAY suc (suc zero) = z #-}
{-# DISPLAY id zero = x #-}
{-# DISPLAY id (suc zero) = y #-}
{-# DISPLAY id (suc (suc zero)) = z #-}
\end{code}
</div>
@ -253,6 +253,7 @@ notB = (abs x bool (if (var x) then false else true))
\end{code}
</div>
## Operational Semantics
To define the small-step semantics of STLC terms, we begin,