Functional Programming Based on Transparent Intensional Logic

In the paper we introduce an interpreter of the Transperent Intensional Logic (TIL), namely the TIL-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 TILScript project is being pursued by the team of undergraduate students. The paper we provide is a brief review of the TIL-Script syntax.