7calore
1risposta
conversione del codice Haskell a Agda
21calore
1risposta
Scoprire quali metas sono irrisolti in un programma Agda
12calore
1risposta
R-Ragionamento e modelli "con"
19calore
2risposta
Agda come linguaggio di programmazione
16calore
2risposta
9calore
1risposta
Agda: funzione di esecuzione per l'esempio di pila Conor
7calore
1risposta
5calore
1risposta
Agda: il mio codice non digita il controllo (come ottenere argomenti impliciti giusto?)
25calore
1risposta
Su rappresentazioni di permutazioni
12calore
2risposta
di Haskell Arrow-Class in Agda e -> in Agda