16Ciepło
2Odpowiedz
7Ciepło
1Odpowiedz
25Ciepło
1Odpowiedz
12Ciepło
2Odpowiedz
Haskell'a Arrow-Class w Agda oraz -> w Agda
10Ciepło
1Odpowiedz
5Ciepło
1Odpowiedz
Agda: Para wektorów o tej samej długości
12Ciepło
1Odpowiedz
Typy zawierające klauzule/przeprogramować w agdzie, lub, jak użyć przepisać zamiast subst?
12Ciepło
1Odpowiedz
9Ciepło
1Odpowiedz
Agda: funkcja run dla przykładu stosu Conora
5Ciepło
1Odpowiedz
Agda: mój kod nie sprawdza typu (jak uzyskać niejawne argumenty poprawnie?)