Creating an Idris Track

Exercism Building Exercism
101

I’ve put in a pair of pull requests to include contrib. It was already in the pack, so doesn’t actually make anything bigger.

102

Merged. Would you be interested in writing an Approach or three?

The Idris track currently does not have any.

      3 bash
     22 c
      2 clojure
      7 cpp
      5 crystal
     29 csharp
      4 d
      1 elixir
      2 elm
      9 fsharp
     21 go
      5 haskell
     21 java
      7 javascript
     22 julia
     14 kotlin
      1 mips
      6 powershell
      2 pyret
     29 python
      3 r
      1 racket
      1 ruby
     11 rust
     20 scala
      1 tcl
      1 vimscript
103

Thanks. I’ll have to study the examples to figure out how to write up and contribute an Approach!