deletions | additions       diff --git a/embedded.tex b/embedded.tex  index 651643c..9d53034 100644  --- a/embedded.tex  +++ b/embedded.tex 
...
futási idejű költséggel fordítási időben átalakul.  }  \cite{studia14} Ebben a fejezetben bemutatom, hogy az \ref{calculus}.~tézis hogyan alkalmazható a Haskell nyelvben. Ehhez elkészítettem egy Haskell-szerű nyelv és a tézisben definiált kalkulus beágyazását Haskell nyelvbe, valamint készítettem két interpretert a nyelvhez~\cite{studia14}. Az egyik interpreter feladata, hogy a nyelvet és a rajta lévő méretkódolt típusokat összevesse, és elkészítse a megfelelő "verification condition"-t, a másik pedig a kódot futtatja.  A beágyazás sekély, így a kódot futtató interpreter fordítási időben készít Haskell kódot, oly módon, hogy az ne jelentsen nagy futási időjű többletköltséget az azonos Haskellben megírt kódhoz képest.  \printbibliography  \end{refsection}