5Hitze
2Antwort
Ist es möglich, eine Typ-Level-Darstellung generischer ADTs zu erstellen?
4Hitze
3Antwort
Beweise über Funktionen, die von der Reihenfolge ihrer Alternativen abhängen
2Hitze
1Antwort
verwirrt über faul Bewertung in Idris
4Hitze
4Antwort
In Idris, wie man 1 zu einem Fin hinzufügen, bis ein "max" erreicht wird
3Hitze
1Antwort
1Hitze
1Antwort
Idris - Expression doesnt typecheck beim Importieren von Modul
2Hitze
1Antwort
0Hitze
2Antwort
Verwenden von Typen als erstklassige Werte in Scala?
1Hitze
2Antwort
Gibt es ein nicht-triviales Beispiel mit Uneinheitlichkeit des Universums in Idris?
1Hitze
1Antwort