X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FIntroduction.tex;h=18950802c16f31fd2f6f33036e7076218389c436;hp=e41de519e408d7338c74e7c4e0656dc3941be077;hb=f2d45a8c05c4fff4eb9574e8514b213fbfc8fb84;hpb=4d9ba321f31cba9a30b56b4fe49df2fbf2a59d96 diff --git a/Chapters/Introduction.tex b/Chapters/Introduction.tex index e41de51..1895080 100644 --- a/Chapters/Introduction.tex +++ b/Chapters/Introduction.tex @@ -236,6 +236,8 @@ advanced types and provides a case study. Systems). The lambda in the name is of course a reference to the lambda abstraction, which is an essential element of most functional languages (and is also prominent in the Haskell logo). + + Cλash is pronounced like \quote{Clash}. \stopframedtext }