7Hitze
1Antwort
Vermeiden von Extensionalitätspostulat beim Definieren von nicht-unären Funktionen über Quotienten
5Hitze
1Antwort
Agda: mein Code nicht Typ prüfen (wie implizite Argumente richtig?)
8Hitze
2Antwort
Anzeigen (Kopf. Init) = Kopf in Agda
7Hitze
1Antwort
Konvertieren von Haskell Code Agda
20Hitze
5Antwort
26Hitze
1Antwort