Code

Add idris test configuration#1152

Code

Merged

ErikSchierboom merged 1 commit intoexercism:mainexercism/cli:mainfrom isberg:idris-test-configurationisberg/exercism-cli:idris-test-configurationCopy head branch name to clipboardAug 2, 2024

+3

Commits

Commits on Jul 28, 2024

• Add idris test configuration

  isberg

  committed
  b983ef9