1Hitze
1Antwort
Wie gebe ich im AGDA-Modus '·' (mittlerer Punkt) ein?
1Hitze
1Antwort
Agda: Return Kopf und Schwanz der leeren Liste
0Hitze
1Antwort
Wie installiert man den Agda-Modus auf OSX El Capitan?
3Hitze
1Antwort
Agda: Kann nicht finden std-lib bei der Installation mit Stack
2Hitze
1Antwort
Wie kann ich den agda2-Modus verwenden, um Muster zu erzeugen, wenn ich ein absurdes Muster erwarte?