История изменений
Исправление AndreyKl, (текущая версия) :
ну, гипотетически, не вижу проблем чтобы нельзя было сделать debug.trace в идрис. ну и собственно гуглёж дал моментально https://github.com/idris-lang/Idris-dev/blob/master/libs/base/Debug/Trace.idr
судя по типу, пользоваться так же как хаскелевским. т.е. по идее можно почитать доку по хаскелевсокму и попробовать его. а затем идрис по аналогии.
но я не пробовал.
Исходная версия AndreyKl, :
ну, гипотетически, не вижу проблем чтобы нельзя было сделать debug.trace в идрис. ну и собственно гуглёж дал моментально https://github.com/idris-lang/Idris-dev/blob/master/libs/base/Debug/Trace.idr
но я не пробовал.