deletions | additions       diff --git a/gflat.tex b/gflat.tex  index 292b936..bd741e2 100644  --- a/gflat.tex  +++ b/gflat.tex 
...
\thesis{  Típuskikövetkeztetési algoritmust adtam arra az esetre, amiben a változók típusa  a kikövetkeztetett típustól függhet. A megoldás a közismert Bottom--Up  típuskikövetkeztető algoritmuson alapszik, és ahol  a típusegyenletek megoldásának késleltetésével lehetővé tehető a környezetfüggő egyenletek felírása. Az  algoritmust az F\#{} nyelv fogalomrendszerén belül definiáltam.  } 
...
A megoldás keresésében az első lépcső~\cite{icai2010_scope} az volt, hogy a  kikövetkeztetést és a névfeloldást szét kellett választani. Ehhez  közismert Bottom--Up típuskikövetkeztetési algoritmusnak kihasználtam azt a  tulajdonáság, tulajdonáságát,  hogy az algoritmus két menetben dolgozik: első menetben típusegyenleteket ír fel a, a második menetben pedig ezeket megoldja. A második  menetben az egyenletek megoldásának sorrendje nem teljesen kötött, így a nem  egyértelmű típusok egyenletének a felírását elhalaszthatjuk. Amikor a már 
...
A fenti algoritmus használatával definiáltam~\cite{macs2010} az F\#{} nyelv egy  tisztán funkcionális G$\flat$ résznyelvét. Ez a megoldás lehetővé teszi a \ref{calculus}~tézis alkalmazását az F\#{} nyelvre.  \printbibliography  \end{refsection}