A dolgozat során egy függő típuselméletre épülő funkcionális nyelv, a SmallT T típusellenörzője és értelmezője kerül megvalósításra Haskell nyelvben. A szoftver része a nyelv definíciója, egy szabványkönyvtár, egy egy ...