Join the Idris Track
Exercises on the Idris track
5 exercises to help you master Idris
Given a DNA strand, return its RNA Complement Transcription.
The classical introductory exercise. Just say "Hello, World!"
Given a year, report if it is a leap year.
Calculate the Hamming difference between two DNA strands.
Implement the `accumulate` operation, which, given a collection and an operation to perform on each element of the collection, returns a new collection containing the result of applying that operation to each element of the input collection.