6Ciepło
2Odpowiedz
Jak zindeksować typ "elementu" przez wartość "kontenera źródłowego"?
12Ciepło
1Odpowiedz
Dependent rodzaje metoda konflikt z domyślnymi argumentami
6Ciepło
1Odpowiedz
Zestawy poziomów w Haskell/Agda
6Ciepło
1Odpowiedz
Implementacja wszystkich analizatorów składni w Idris na podstawie dokumentu o Agdzie
14Ciepło
1Odpowiedz
Case typ argumentu konstruktora klasy w zależności od poprzedniej wartości argumentu
11Ciepło
1Odpowiedz
Scala zależna od typu ścieżek i proofów poziomu typu
6Ciepło
1Odpowiedz
29Ciepło
1Odpowiedz
Doing szeregowych n ilościowe w Idris
5Ciepło
1Odpowiedz
Zależnie wpisane „ZipVector” Applicatives
5Ciepło
1Odpowiedz
Agda: mój kod nie sprawdza typu (jak uzyskać niejawne argumenty poprawnie?)