9Ciepło
4Odpowiedz
Czy można częściowo zastosować n-tego parametru w Haskell?
6Ciepło
1Odpowiedz
Dlaczego Idris nie zaakceptuje mojego spasowania?
5Ciepło
1Odpowiedz
Jak Agda określa typ jest niemożliwa
5Ciepło
1Odpowiedz
Ograniczenia pisania zależnego w Idrisie
5Ciepło
2Odpowiedz
Jeśli dwie rzeczy nie są równe, czy są równe?
5Ciepło
1Odpowiedz
5Ciepło
2Odpowiedz
Jak mogę wyrazić typ "takeWhile for vector"?
6Ciepło
3Odpowiedz
Czy można losowo generować twierdzenia, które są arbitralnie trudne do udowodnienia?
22Ciepło
1Odpowiedz
Jaki jest właściwy sposób sprawdzania zgodności abstrakcji lambda za pomocą "bound"?
8Ciepło
1Odpowiedz
`Refl` rzecz w rachunku kosztów budowy?