Idris 트랙에서 테스트하기

Exercism에서 Idris 연습 문제를 테스트하는 방법을 알아봐요


테스트 실행

테스트를 실행하려면 연습 문제 디렉터리에서 다음 명령어를 실행해요:

pack test hello-world