11Hitze
1Antwort
Modellierung des ST Monade in Agda
23Hitze
1Antwort
5Hitze
2Antwort
Musterspiel auf spezialisierte Konstrukteure
7Hitze
1Antwort
Unterschiede zwischen Coq und Agda
9Hitze
1Antwort
Gleichheitsprüfung ohne expliziten Beweis, dass Datenkonstruktoren injektiv sind
6Hitze
1Antwort
Implementierung Gesamt Parser in Idris Basierend auf einem Papier auf Agda
20Hitze
2Antwort
Unterschied zwischen Typparametern und Indizes?
5Hitze
1Antwort
Does Idris haben ein Äquivalent zu Agda des ↔
6Hitze
1Antwort
Kategorien Bibliothek für Agda?
6Hitze
1Antwort
Wie definiere ich die reelle Nummer in agda?