Настолько ли неудобно писать на agda, как говорят? Поскольку это ЯП (в том числе), для написания каких приложений он хорошо подходит?