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 típusellenőrző és egy kiértékelő. Interaktív tárgy nyelvi programot is lehet írni, amely képes természetes számokat kiírni és beolvasni konzolon.
Korlátozottan hozzáférhető: IK Kari Könyvtár termináljain