23calore
1risposta
5calore
2risposta
È possibile creare una rappresentazione a livello di carattere di ADT generici?
5calore
1risposta
Come Agda determina un tipo è impossibile
5calore
1risposta
I tipi vengono cancellati prima del runtime
7calore
1risposta
Come implementare l'algoritmo Hare e Tortoise di Floyd in Agda?
6calore
2risposta
Proving `T b` quando` B` è già abbinato a
5calore
2risposta
Se due cose non sono uguali, sono uguali?
11calore
1risposta
5calore
1risposta
Idris ha un equivalente alle espressioni `_` di Agda?
21calore
1risposta
programmazione generica con effetti