p
Научись, она сложнее сериальчиков но понять можно любому
Вопрос а нахуй
Так что вот это утверждение — правда с ограниченной точки зрения
Да, в идрисе есть тайплевел функции, но они написаны на урезанном сабсете урезанного сабсета идриса, и не моугт довольно тривиальные вещи (я легко могу представить, что я захочу матчить, скажем, по константным строкам на тайплевеле)