Testen im Idris-Track

Lerne, wie du deine Idris-Übungen auf Exercism testest

Tests ausführen

Führe in deinem Übungsverzeichnis den folgenden Befehl aus, um die Tests auszuführen:

pack test hello-world