eth-janishutz/eth-summaries
1
0
Fork 0
mirror of https://github.com/janishutz/eth-summaries.git synced 2026-05-30 16:21:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

[FMFP] Add abbreviations for comparision operators

Browse Source
This commit is contained in:
Janis Hutz
2026-05-04 09:54:31 +02:00
parent 1d38412334
commit 11fda33771
2 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
semester4/fmfp/formal-methods-functional-programming-summary.pdf
BIN
View File
Binary file not shown.
semester4/fmfp/parts/03_language-semantics/00_imp/00_syntax.tex
+1
View File
@@ -20,6 +20,7 @@ Arithmetic and Boolean statements could be defined in Haskell as follows
data Bexp = Or Bexp Bexp | And Bexp Bexp | Not Bexp | Rel Rop Aexp Aexp data Bexp = Or Bexp Bexp | And Bexp Bexp | Not Bexp | Rel Rop Aexp Aexp
data Rop = Eq | Neq | Le | Leq | Ge | Geq data Rop = Eq | Neq | Le | Leq | Ge | Geq
\end{code} \end{code}
with the abbreviations for \texttt{Eq} (=), \texttt{Neq} (\#), \texttt{Le} ($<$), \texttt{Leq} ($\leq$), \texttt{Ge} ($>$) and \texttt{Geq} ($\geq$)
Statements could be defined in Haskell as follows Statements could be defined in Haskell as follows
\mint{haskell}+data Stm = Skip | Assign String Aexp | Seq Stm Stm | If Bexp Stm Stm | While Bexp Stm+ \mint{haskell}+data Stm = Skip | Assign String Aexp | Seq Stm Stm | If Bexp Stm Stm | While Bexp Stm+