ChatGPT - Embedding CTT in Idris