2Hitze
1Antwort
konnte SingI des Vorgängers nicht ableiten Nat
13Hitze
2Antwort
Verfeinerte und existentielle Typen für Laufzeitwerte
0Hitze
1Antwort
Wo impliziten Wert setzen implizite Konvertierung über Singleton Art
19Hitze
1Antwort
Haskell Singletons: Was gewinnen wir mit SNat
3Hitze
1Antwort
Abstrahieren über die Dimensionalität der Typen
8Hitze
1Antwort
Gibt es eine Verbindung zwischen `a: ~: b` und` (a: == b): ~: True`?
3Hitze
2Antwort
Hinzufügen einer Ord-Instanz zu 'Singleton'-Paket generierten Naturals
1Hitze
1Antwort
Show-Instanz für einen abhängigen Typ
4Hitze
2Antwort
Singletons TypRepStar Sing Data Instanz
9Hitze
1Antwort
Idiomatische Boolesche Gleichheitsverwendung (Singletons)