IL-S cript : Functional Programming Based on Transparent Intensional Logic

In the paper we introduce an interpreter of the Transperent Intensional Logic (TIL), namely the T IL-Script language, its design and implementation. TIL is a brainchild of the Czech logician Pavel Tichý and in many ways a revolutionary logical system. The work on the T IL-Script project is being pursued by the team of undergraduate students. The paper we provide is a brief review of the T IL-Script syntax.