Вопросы с тегом агда

0 голосов

1 ответ

Как мне найти дополнительные ограничения, помимо граничных условий?

Cactus / 05 августа 2020

1 голос

1 ответ

Почему Agda уменьшает количество аргументов в моем приложении-функции для некоторых аргументов, но не для других?

123omnomnom / 21 июня 2020

2 голосов

1 ответ

Ошибка состояния нехватки памяти при обновлении agda с помощью cabal?

Warrick Macmillan / 29 мая 2020

0 голосов

0 ответов

Какие простые, конкретные примеры `transp` меняют форму программы?

MaiaVictor / 29 мая 2020

Для получения более полной информации посмотрите в списке вопросов или в популярных тегах.

...