├── .appends └── .github │ └── labels.yml ├── .github ├── CODEOWNERS ├── dependabot.yml ├── labels.yml └── workflows │ ├── ci.yml │ ├── configlet.yml │ ├── no-important-files-changed.yml │ ├── pause-community-contributions.yml │ ├── ping-cross-track-maintainers-team.yml │ ├── pre-commit.yml │ ├── run-configlet-sync.yml │ └── sync-labels.yml ├── .gitignore ├── .pre-commit-config.yaml ├── CODE_OF_CONDUCT.md ├── LICENSE ├── README.md ├── bin ├── add-practice-exercise ├── fetch-configlet └── test ├── config.json ├── docs ├── ABOUT.md ├── INSTALLATION.md ├── LEARNING.md ├── RESOURCES.md ├── SNIPPET.txt ├── TESTS.md └── config.json ├── exercises ├── practice │ ├── accumulate │ │ ├── .docs │ │ │ └── instructions.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── accumulate.ipkg │ │ ├── example │ │ │ └── Accumulate.idr │ │ ├── pack.toml │ │ ├── src │ │ │ └── Accumulate.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── all-your-base │ │ ├── .docs │ │ │ ├── instructions.md │ │ │ └── introduction.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── all-your-base.ipkg │ │ ├── example │ │ │ └── AllYourBase.idr │ │ ├── pack.toml │ │ ├── src │ │ │ └── AllYourBase.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── armstrong-numbers │ │ ├── .docs │ │ │ └── instructions.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── armstrong-numbers.ipkg │ │ ├── example │ │ │ └── ArmstrongNumbers.idr │ │ ├── pack.toml │ │ ├── src │ │ │ └── ArmstrongNumbers.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── atbash-cipher │ │ ├── .docs │ │ │ └── instructions.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── atbash-cipher.ipkg │ │ ├── example │ │ │ └── AtbashCipher.idr │ │ ├── pack.toml │ │ ├── src │ │ │ └── AtbashCipher.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── binary-search │ │ ├── .docs │ │ │ ├── instructions.md │ │ │ └── introduction.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── binary-search.ipkg │ │ ├── example │ │ │ └── BinarySearch.idr │ │ ├── pack.toml │ │ ├── src │ │ │ └── BinarySearch.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── bob │ │ ├── .docs │ │ │ ├── instructions.md │ │ │ └── introduction.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── bob.ipkg │ │ ├── example │ │ │ └── Bob.idr │ │ ├── pack.toml │ │ ├── src │ │ │ └── Bob.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── book-store │ │ ├── .docs │ │ │ └── instructions.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── book-store.ipkg │ │ ├── example │ │ │ └── BookStore.idr │ │ ├── pack.toml │ │ ├── src │ │ │ └── BookStore.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── collatz-conjecture │ │ ├── .docs │ │ │ ├── instructions.append.md │ │ │ ├── instructions.md │ │ │ └── introduction.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── collatz-conjecture.ipkg │ │ ├── example │ │ │ └── CollatzConjecture.idr │ │ ├── pack.toml │ │ ├── src │ │ │ └── CollatzConjecture.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── darts │ │ ├── .docs │ │ │ └── instructions.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── darts.ipkg │ │ ├── example │ │ │ └── Darts.idr │ │ ├── pack.toml │ │ ├── src │ │ │ └── Darts.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── difference-of-squares │ │ ├── .docs │ │ │ └── instructions.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── difference-of-squares.ipkg │ │ ├── example │ │ │ └── DifferenceOfSquares.idr │ │ ├── pack.toml │ │ ├── src │ │ │ └── DifferenceOfSquares.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── dominoes │ │ ├── .docs │ │ │ ├── instructions.md │ │ │ └── introduction.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── dominoes.ipkg │ │ ├── example │ │ │ └── Dominoes.idr │ │ ├── pack.toml │ │ ├── src │ │ │ └── Dominoes.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── eliuds-eggs │ │ ├── .docs │ │ │ ├── instructions.md │ │ │ └── introduction.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── eliuds-eggs.ipkg │ │ ├── example │ │ │ └── EliudsEggs.idr │ │ ├── pack.toml │ │ ├── src │ │ │ └── EliudsEggs.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── flatten-array │ │ ├── .docs │ │ │ ├── instructions.md │ │ │ └── introduction.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── FlattenArray.idr │ │ ├── flatten-array.ipkg │ │ ├── pack.toml │ │ ├── src │ │ │ └── FlattenArray.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── game-of-life │ │ ├── .docs │ │ │ ├── instructions.md │ │ │ └── introduction.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── GameOfLife.idr │ │ ├── game-of-life.ipkg │ │ ├── pack.toml │ │ ├── src │ │ │ └── GameOfLife.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── grains │ │ ├── .docs │ │ │ ├── instructions.md │ │ │ └── introduction.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── Grains.idr │ │ ├── grains.ipkg │ │ ├── pack.toml │ │ ├── src │ │ │ └── Grains.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── hamming │ │ ├── .docs │ │ │ ├── instructions.md │ │ │ └── introduction.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── Hamming.idr │ │ ├── hamming.ipkg │ │ ├── pack.toml │ │ ├── src │ │ │ └── Hamming.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── hello-world │ │ ├── .docs │ │ │ └── instructions.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── HelloWorld.idr │ │ ├── hello-world.ipkg │ │ ├── pack.toml │ │ ├── src │ │ │ └── HelloWorld.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── isbn-verifier │ │ ├── .docs │ │ │ └── instructions.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── IsbnVerifier.idr │ │ ├── isbn-verifier.ipkg │ │ ├── pack.toml │ │ ├── src │ │ │ └── IsbnVerifier.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── isogram │ │ ├── .docs │ │ │ └── instructions.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── Isogram.idr │ │ ├── isogram.ipkg │ │ ├── pack.toml │ │ ├── src │ │ │ └── Isogram.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── kindergarten-garden │ │ ├── .docs │ │ │ ├── instructions.md │ │ │ └── introduction.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── KindergartenGarden.idr │ │ ├── kindergarten-garden.ipkg │ │ ├── pack.toml │ │ ├── src │ │ │ └── KindergartenGarden.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── knapsack │ │ ├── .docs │ │ │ ├── instructions.md │ │ │ └── introduction.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── Knapsack.idr │ │ ├── knapsack.ipkg │ │ ├── pack.toml │ │ ├── src │ │ │ └── Knapsack.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── largest-series-product │ │ ├── .docs │ │ │ ├── instructions.md │ │ │ └── introduction.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── LargestSeriesProduct.idr │ │ ├── largest-series-product.ipkg │ │ ├── pack.toml │ │ ├── src │ │ │ └── LargestSeriesProduct.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── leap │ │ ├── .docs │ │ │ ├── instructions.md │ │ │ └── introduction.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── Leap.idr │ │ ├── leap.ipkg │ │ ├── pack.toml │ │ ├── src │ │ │ └── Leap.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── lens-person │ │ ├── .docs │ │ │ └── instructions.md │ │ ├── .meta │ │ │ └── config.json │ │ ├── example │ │ │ └── LensPerson.idr │ │ ├── lens-person.ipkg │ │ ├── pack.toml │ │ ├── src │ │ │ └── LensPerson.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── line-up │ │ ├── .docs │ │ │ ├── instructions.md │ │ │ └── introduction.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── LineUp.idr │ │ ├── line-up.ipkg │ │ ├── pack.toml │ │ ├── src │ │ │ └── LineUp.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── list-ops │ │ ├── .docs │ │ │ └── instructions.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── ListOps.idr │ │ ├── list-ops.ipkg │ │ ├── pack.toml │ │ ├── src │ │ │ └── ListOps.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── luhn │ │ ├── .docs │ │ │ ├── instructions.md │ │ │ └── introduction.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── Luhn.idr │ │ ├── luhn.ipkg │ │ ├── pack.toml │ │ ├── src │ │ │ └── Luhn.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── matching-brackets │ │ ├── .docs │ │ │ ├── instructions.md │ │ │ └── introduction.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── MatchingBrackets.idr │ │ ├── matching-brackets.ipkg │ │ ├── pack.toml │ │ ├── src │ │ │ └── MatchingBrackets.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── meetup │ │ ├── .docs │ │ │ ├── instructions.md │ │ │ └── introduction.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── Meetup.idr │ │ ├── meetup.ipkg │ │ ├── pack.toml │ │ ├── src │ │ │ └── Meetup.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── micro-blog │ │ ├── .docs │ │ │ └── instructions.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── MicroBlog.idr │ │ ├── micro-blog.ipkg │ │ ├── pack.toml │ │ ├── src │ │ │ └── MicroBlog.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── nth-prime │ │ ├── .docs │ │ │ └── instructions.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── NthPrime.idr │ │ ├── nth-prime.ipkg │ │ ├── pack.toml │ │ ├── src │ │ │ └── NthPrime.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── nucleotide-count │ │ ├── .docs │ │ │ └── instructions.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── NucleotideCount.idr │ │ ├── nucleotide-count.ipkg │ │ ├── pack.toml │ │ ├── src │ │ │ └── NucleotideCount.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── pangram │ │ ├── .docs │ │ │ ├── instructions.md │ │ │ └── introduction.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── Pangram.idr │ │ ├── pack.toml │ │ ├── pangram.ipkg │ │ ├── src │ │ │ └── Pangram.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── perfect-numbers │ │ ├── .docs │ │ │ └── instructions.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── PerfectNumbers.idr │ │ ├── pack.toml │ │ ├── perfect-numbers.ipkg │ │ ├── src │ │ │ └── PerfectNumbers.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── phone-number │ │ ├── .docs │ │ │ ├── instructions.md │ │ │ └── introduction.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── PhoneNumber.idr │ │ ├── pack.toml │ │ ├── phone-number.ipkg │ │ ├── src │ │ │ └── PhoneNumber.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── prime-factors │ │ ├── .docs │ │ │ └── instructions.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── PrimeFactors.idr │ │ ├── pack.toml │ │ ├── prime-factors.ipkg │ │ ├── src │ │ │ └── PrimeFactors.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── pythagorean-triplet │ │ ├── .docs │ │ │ ├── instructions.md │ │ │ └── introduction.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── PythagoreanTriplet.idr │ │ ├── pack.toml │ │ ├── pythagorean-triplet.ipkg │ │ ├── src │ │ │ └── PythagoreanTriplet.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── raindrops │ │ ├── .docs │ │ │ ├── instructions.md │ │ │ └── introduction.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── Raindrops.idr │ │ ├── pack.toml │ │ ├── raindrops.ipkg │ │ ├── src │ │ │ └── Raindrops.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── resistor-color-duo │ │ ├── .docs │ │ │ └── instructions.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── ResistorColorDuo.idr │ │ ├── pack.toml │ │ ├── resistor-color-duo.ipkg │ │ ├── src │ │ │ └── ResistorColorDuo.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── resistor-color-trio │ │ ├── .docs │ │ │ └── instructions.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── ResistorColorTrio.idr │ │ ├── pack.toml │ │ ├── resistor-color-trio.ipkg │ │ ├── src │ │ │ └── ResistorColorTrio.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── resistor-color │ │ ├── .docs │ │ │ └── instructions.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── ResistorColor.idr │ │ ├── pack.toml │ │ ├── resistor-color.ipkg │ │ ├── src │ │ │ └── ResistorColor.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── reverse-string │ │ ├── .docs │ │ │ ├── instructions.append.md │ │ │ ├── instructions.md │ │ │ └── introduction.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── ReverseString.idr │ │ ├── pack.toml │ │ ├── reverse-string.ipkg │ │ ├── src │ │ │ └── ReverseString.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── rna-transcription │ │ ├── .docs │ │ │ ├── instructions.md │ │ │ └── introduction.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── RnaTranscription.idr │ │ ├── pack.toml │ │ ├── rna-transcription.ipkg │ │ ├── src │ │ │ └── RnaTranscription.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── robot-simulator │ │ ├── .docs │ │ │ └── instructions.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── RobotSimulator.idr │ │ ├── pack.toml │ │ ├── robot-simulator.ipkg │ │ ├── src │ │ │ └── RobotSimulator.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── roman-numerals │ │ ├── .docs │ │ │ ├── instructions.md │ │ │ └── introduction.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── RomanNumerals.idr │ │ ├── pack.toml │ │ ├── roman-numerals.ipkg │ │ ├── src │ │ │ └── RomanNumerals.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── rotational-cipher │ │ ├── .docs │ │ │ └── instructions.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── RotationalCipher.idr │ │ ├── pack.toml │ │ ├── rotational-cipher.ipkg │ │ ├── src │ │ │ └── RotationalCipher.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── run-length-encoding │ │ ├── .docs │ │ │ └── instructions.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── RunLengthEncoding.idr │ │ ├── pack.toml │ │ ├── run-length-encoding.ipkg │ │ ├── src │ │ │ └── RunLengthEncoding.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── satellite │ │ ├── .docs │ │ │ └── instructions.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── Satellite.idr │ │ ├── pack.toml │ │ ├── satellite.ipkg │ │ ├── src │ │ │ └── Satellite.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── scrabble-score │ │ ├── .docs │ │ │ ├── instructions.md │ │ │ └── introduction.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── ScrabbleScore.idr │ │ ├── pack.toml │ │ ├── scrabble-score.ipkg │ │ ├── src │ │ │ └── ScrabbleScore.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── secret-handshake │ │ ├── .docs │ │ │ ├── instructions.md │ │ │ └── introduction.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── SecretHandshake.idr │ │ ├── pack.toml │ │ ├── secret-handshake.ipkg │ │ ├── src │ │ │ └── SecretHandshake.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── sieve │ │ ├── .docs │ │ │ ├── instructions.md │ │ │ └── introduction.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── Sieve.idr │ │ ├── pack.toml │ │ ├── sieve.ipkg │ │ ├── src │ │ │ └── Sieve.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── space-age │ │ ├── .docs │ │ │ ├── instructions.md │ │ │ └── introduction.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── SpaceAge.idr │ │ ├── pack.toml │ │ ├── space-age.ipkg │ │ ├── src │ │ │ └── SpaceAge.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── square-root │ │ ├── .docs │ │ │ ├── instructions.md │ │ │ └── introduction.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── SquareRoot.idr │ │ ├── pack.toml │ │ ├── square-root.ipkg │ │ ├── src │ │ │ └── SquareRoot.idr │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── sum-of-multiples │ │ ├── .docs │ │ │ ├── instructions.md │ │ │ └── introduction.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── SumOfMultiples.idr │ │ ├── pack.toml │ │ ├── src │ │ │ └── SumOfMultiples.idr │ │ ├── sum-of-multiples.ipkg │ │ └── test │ │ │ ├── src │ │ │ └── Main.idr │ │ │ └── test.ipkg │ ├── triangle │ │ ├── .docs │ │ │ └── instructions.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── Triangle.idr │ │ ├── pack.toml │ │ ├── src │ │ │ └── Triangle.idr │ │ ├── test │ │ │ ├── src │ │ │ │ └── Main.idr │ │ │ └── test.ipkg │ │ └── triangle.ipkg │ ├── two-fer │ │ ├── .docs │ │ │ ├── instructions.md │ │ │ └── introduction.md │ │ ├── .meta │ │ │ ├── config.json │ │ │ └── tests.toml │ │ ├── example │ │ │ └── TwoFer.idr │ │ ├── pack.toml │ │ ├── src │ │ │ └── TwoFer.idr │ │ ├── test │ │ │ ├── src │ │ │ │ └── Main.idr │ │ │ └── test.ipkg │ │ └── two-fer.ipkg │ └── zebra-puzzle │ │ ├── .docs │ │ ├── instructions.md │ │ └── introduction.md │ │ ├── .meta │ │ ├── config.json │ │ └── tests.toml │ │ ├── example │ │ └── ZebraPuzzle.idr │ │ ├── pack.toml │ │ ├── src │ │ └── ZebraPuzzle.idr │ │ ├── test │ │ ├── src │ │ │ └── Main.idr │ │ └── test.ipkg │ │ └── zebra-puzzle.ipkg └── shared │ └── .docs │ ├── help.md │ └── tests.md ├── generators ├── exercises │ ├── accumulate.py │ ├── all_your_base.py │ ├── armstrong_numbers.py │ ├── atbash_cipher.py │ ├── binary_search.py │ ├── bob.py │ ├── book_store.py │ ├── collatz_conjecture.py │ ├── darts.py │ ├── difference_of_squares.py │ ├── dominoes.py │ ├── eliuds_eggs.py │ ├── flatten_array.py │ ├── game_of_life.py │ ├── grains.py │ ├── hamming.py │ ├── hello_world.py │ ├── isbn_verifier.py │ ├── isogram.py │ ├── kindergarten_garden.py │ ├── knapsack.py │ ├── largest_series_product.py │ ├── leap.py │ ├── lens_person.py │ ├── line_up.py │ ├── list_ops.py │ ├── luhn.py │ ├── matching_brackets.py │ ├── meetup.py │ ├── micro_blog.py │ ├── nth_prime.py │ ├── nucleotide_count.py │ ├── pangram.py │ ├── perfect_numbers.py │ ├── phone_number.py │ ├── prime_factors.py │ ├── pythagorean_triplet.py │ ├── raindrops.py │ ├── resistor_color.py │ ├── resistor_color_duo.py │ ├── resistor_color_trio.py │ ├── reverse_string.py │ ├── rna_transcription.py │ ├── robot_simulator.py │ ├── roman_numerals.py │ ├── rotational_cipher.py │ ├── run_length_encoding.py │ ├── satellite.py │ ├── scrabble_score.py │ ├── secret_handshake.py │ ├── sieve.py │ ├── space_age.py │ ├── square_root.py │ ├── sum_of_multiples.py │ ├── triangle.py │ ├── two_fer.py │ └── zebra_puzzle.py └── generate.py └── scripts └── test-in-docker.sh /.appends/.github/labels.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/.appends/.github/labels.yml -------------------------------------------------------------------------------- /.github/CODEOWNERS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/.github/CODEOWNERS -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/labels.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/.github/labels.yml -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/configlet.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/.github/workflows/configlet.yml -------------------------------------------------------------------------------- /.github/workflows/no-important-files-changed.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/.github/workflows/no-important-files-changed.yml -------------------------------------------------------------------------------- /.github/workflows/pause-community-contributions.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/.github/workflows/pause-community-contributions.yml -------------------------------------------------------------------------------- /.github/workflows/ping-cross-track-maintainers-team.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/.github/workflows/ping-cross-track-maintainers-team.yml -------------------------------------------------------------------------------- /.github/workflows/pre-commit.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/.github/workflows/pre-commit.yml -------------------------------------------------------------------------------- /.github/workflows/run-configlet-sync.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/.github/workflows/run-configlet-sync.yml -------------------------------------------------------------------------------- /.github/workflows/sync-labels.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/.github/workflows/sync-labels.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/.gitignore -------------------------------------------------------------------------------- /.pre-commit-config.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/.pre-commit-config.yaml -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/README.md -------------------------------------------------------------------------------- /bin/add-practice-exercise: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/bin/add-practice-exercise -------------------------------------------------------------------------------- /bin/fetch-configlet: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/bin/fetch-configlet -------------------------------------------------------------------------------- /bin/test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/bin/test -------------------------------------------------------------------------------- /config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/config.json -------------------------------------------------------------------------------- /docs/ABOUT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/docs/ABOUT.md -------------------------------------------------------------------------------- /docs/INSTALLATION.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/docs/INSTALLATION.md -------------------------------------------------------------------------------- /docs/LEARNING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/docs/LEARNING.md -------------------------------------------------------------------------------- /docs/RESOURCES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/docs/RESOURCES.md -------------------------------------------------------------------------------- /docs/SNIPPET.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/docs/SNIPPET.txt -------------------------------------------------------------------------------- /docs/TESTS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/docs/TESTS.md -------------------------------------------------------------------------------- /docs/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/docs/config.json -------------------------------------------------------------------------------- /exercises/practice/accumulate/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/accumulate/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/accumulate/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/accumulate/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/accumulate/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/accumulate/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/accumulate/accumulate.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/accumulate/accumulate.ipkg -------------------------------------------------------------------------------- /exercises/practice/accumulate/example/Accumulate.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/accumulate/example/Accumulate.idr -------------------------------------------------------------------------------- /exercises/practice/accumulate/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/accumulate/pack.toml -------------------------------------------------------------------------------- /exercises/practice/accumulate/src/Accumulate.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/accumulate/src/Accumulate.idr -------------------------------------------------------------------------------- /exercises/practice/accumulate/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/accumulate/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/accumulate/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/accumulate/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/all-your-base/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/all-your-base/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/all-your-base/.docs/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/all-your-base/.docs/introduction.md -------------------------------------------------------------------------------- /exercises/practice/all-your-base/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/all-your-base/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/all-your-base/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/all-your-base/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/all-your-base/all-your-base.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/all-your-base/all-your-base.ipkg -------------------------------------------------------------------------------- /exercises/practice/all-your-base/example/AllYourBase.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/all-your-base/example/AllYourBase.idr -------------------------------------------------------------------------------- /exercises/practice/all-your-base/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/all-your-base/pack.toml -------------------------------------------------------------------------------- /exercises/practice/all-your-base/src/AllYourBase.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/all-your-base/src/AllYourBase.idr -------------------------------------------------------------------------------- /exercises/practice/all-your-base/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/all-your-base/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/all-your-base/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/all-your-base/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/armstrong-numbers/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/armstrong-numbers/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/armstrong-numbers/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/armstrong-numbers/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/armstrong-numbers/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/armstrong-numbers/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/armstrong-numbers/armstrong-numbers.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/armstrong-numbers/armstrong-numbers.ipkg -------------------------------------------------------------------------------- /exercises/practice/armstrong-numbers/example/ArmstrongNumbers.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/armstrong-numbers/example/ArmstrongNumbers.idr -------------------------------------------------------------------------------- /exercises/practice/armstrong-numbers/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/armstrong-numbers/pack.toml -------------------------------------------------------------------------------- /exercises/practice/armstrong-numbers/src/ArmstrongNumbers.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/armstrong-numbers/src/ArmstrongNumbers.idr -------------------------------------------------------------------------------- /exercises/practice/armstrong-numbers/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/armstrong-numbers/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/armstrong-numbers/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/armstrong-numbers/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/atbash-cipher/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/atbash-cipher/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/atbash-cipher/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/atbash-cipher/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/atbash-cipher/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/atbash-cipher/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/atbash-cipher/atbash-cipher.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/atbash-cipher/atbash-cipher.ipkg -------------------------------------------------------------------------------- /exercises/practice/atbash-cipher/example/AtbashCipher.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/atbash-cipher/example/AtbashCipher.idr -------------------------------------------------------------------------------- /exercises/practice/atbash-cipher/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/atbash-cipher/pack.toml -------------------------------------------------------------------------------- /exercises/practice/atbash-cipher/src/AtbashCipher.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/atbash-cipher/src/AtbashCipher.idr -------------------------------------------------------------------------------- /exercises/practice/atbash-cipher/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/atbash-cipher/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/atbash-cipher/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/atbash-cipher/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/binary-search/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/binary-search/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/binary-search/.docs/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/binary-search/.docs/introduction.md -------------------------------------------------------------------------------- /exercises/practice/binary-search/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/binary-search/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/binary-search/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/binary-search/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/binary-search/binary-search.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/binary-search/binary-search.ipkg -------------------------------------------------------------------------------- /exercises/practice/binary-search/example/BinarySearch.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/binary-search/example/BinarySearch.idr -------------------------------------------------------------------------------- /exercises/practice/binary-search/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/binary-search/pack.toml -------------------------------------------------------------------------------- /exercises/practice/binary-search/src/BinarySearch.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/binary-search/src/BinarySearch.idr -------------------------------------------------------------------------------- /exercises/practice/binary-search/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/binary-search/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/binary-search/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/binary-search/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/bob/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/bob/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/bob/.docs/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/bob/.docs/introduction.md -------------------------------------------------------------------------------- /exercises/practice/bob/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/bob/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/bob/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/bob/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/bob/bob.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/bob/bob.ipkg -------------------------------------------------------------------------------- /exercises/practice/bob/example/Bob.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/bob/example/Bob.idr -------------------------------------------------------------------------------- /exercises/practice/bob/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/bob/pack.toml -------------------------------------------------------------------------------- /exercises/practice/bob/src/Bob.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/bob/src/Bob.idr -------------------------------------------------------------------------------- /exercises/practice/bob/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/bob/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/bob/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/bob/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/book-store/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/book-store/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/book-store/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/book-store/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/book-store/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/book-store/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/book-store/book-store.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/book-store/book-store.ipkg -------------------------------------------------------------------------------- /exercises/practice/book-store/example/BookStore.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/book-store/example/BookStore.idr -------------------------------------------------------------------------------- /exercises/practice/book-store/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/book-store/pack.toml -------------------------------------------------------------------------------- /exercises/practice/book-store/src/BookStore.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/book-store/src/BookStore.idr -------------------------------------------------------------------------------- /exercises/practice/book-store/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/book-store/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/book-store/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/book-store/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/collatz-conjecture/.docs/instructions.append.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/collatz-conjecture/.docs/instructions.append.md -------------------------------------------------------------------------------- /exercises/practice/collatz-conjecture/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/collatz-conjecture/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/collatz-conjecture/.docs/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/collatz-conjecture/.docs/introduction.md -------------------------------------------------------------------------------- /exercises/practice/collatz-conjecture/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/collatz-conjecture/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/collatz-conjecture/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/collatz-conjecture/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/collatz-conjecture/collatz-conjecture.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/collatz-conjecture/collatz-conjecture.ipkg -------------------------------------------------------------------------------- /exercises/practice/collatz-conjecture/example/CollatzConjecture.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/collatz-conjecture/example/CollatzConjecture.idr -------------------------------------------------------------------------------- /exercises/practice/collatz-conjecture/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/collatz-conjecture/pack.toml -------------------------------------------------------------------------------- /exercises/practice/collatz-conjecture/src/CollatzConjecture.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/collatz-conjecture/src/CollatzConjecture.idr -------------------------------------------------------------------------------- /exercises/practice/collatz-conjecture/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/collatz-conjecture/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/collatz-conjecture/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/collatz-conjecture/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/darts/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/darts/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/darts/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/darts/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/darts/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/darts/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/darts/darts.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/darts/darts.ipkg -------------------------------------------------------------------------------- /exercises/practice/darts/example/Darts.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/darts/example/Darts.idr -------------------------------------------------------------------------------- /exercises/practice/darts/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/darts/pack.toml -------------------------------------------------------------------------------- /exercises/practice/darts/src/Darts.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/darts/src/Darts.idr -------------------------------------------------------------------------------- /exercises/practice/darts/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/darts/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/darts/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/darts/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/difference-of-squares/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/difference-of-squares/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/difference-of-squares/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/difference-of-squares/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/difference-of-squares/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/difference-of-squares/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/difference-of-squares/difference-of-squares.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/difference-of-squares/difference-of-squares.ipkg -------------------------------------------------------------------------------- /exercises/practice/difference-of-squares/example/DifferenceOfSquares.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/difference-of-squares/example/DifferenceOfSquares.idr -------------------------------------------------------------------------------- /exercises/practice/difference-of-squares/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/difference-of-squares/pack.toml -------------------------------------------------------------------------------- /exercises/practice/difference-of-squares/src/DifferenceOfSquares.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/difference-of-squares/src/DifferenceOfSquares.idr -------------------------------------------------------------------------------- /exercises/practice/difference-of-squares/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/difference-of-squares/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/difference-of-squares/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/difference-of-squares/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/dominoes/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/dominoes/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/dominoes/.docs/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/dominoes/.docs/introduction.md -------------------------------------------------------------------------------- /exercises/practice/dominoes/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/dominoes/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/dominoes/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/dominoes/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/dominoes/dominoes.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/dominoes/dominoes.ipkg -------------------------------------------------------------------------------- /exercises/practice/dominoes/example/Dominoes.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/dominoes/example/Dominoes.idr -------------------------------------------------------------------------------- /exercises/practice/dominoes/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/dominoes/pack.toml -------------------------------------------------------------------------------- /exercises/practice/dominoes/src/Dominoes.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/dominoes/src/Dominoes.idr -------------------------------------------------------------------------------- /exercises/practice/dominoes/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/dominoes/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/dominoes/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/dominoes/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/eliuds-eggs/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/eliuds-eggs/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/eliuds-eggs/.docs/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/eliuds-eggs/.docs/introduction.md -------------------------------------------------------------------------------- /exercises/practice/eliuds-eggs/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/eliuds-eggs/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/eliuds-eggs/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/eliuds-eggs/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/eliuds-eggs/eliuds-eggs.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/eliuds-eggs/eliuds-eggs.ipkg -------------------------------------------------------------------------------- /exercises/practice/eliuds-eggs/example/EliudsEggs.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/eliuds-eggs/example/EliudsEggs.idr -------------------------------------------------------------------------------- /exercises/practice/eliuds-eggs/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/eliuds-eggs/pack.toml -------------------------------------------------------------------------------- /exercises/practice/eliuds-eggs/src/EliudsEggs.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/eliuds-eggs/src/EliudsEggs.idr -------------------------------------------------------------------------------- /exercises/practice/eliuds-eggs/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/eliuds-eggs/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/eliuds-eggs/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/eliuds-eggs/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/flatten-array/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/flatten-array/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/flatten-array/.docs/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/flatten-array/.docs/introduction.md -------------------------------------------------------------------------------- /exercises/practice/flatten-array/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/flatten-array/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/flatten-array/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/flatten-array/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/flatten-array/example/FlattenArray.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/flatten-array/example/FlattenArray.idr -------------------------------------------------------------------------------- /exercises/practice/flatten-array/flatten-array.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/flatten-array/flatten-array.ipkg -------------------------------------------------------------------------------- /exercises/practice/flatten-array/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/flatten-array/pack.toml -------------------------------------------------------------------------------- /exercises/practice/flatten-array/src/FlattenArray.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/flatten-array/src/FlattenArray.idr -------------------------------------------------------------------------------- /exercises/practice/flatten-array/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/flatten-array/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/flatten-array/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/flatten-array/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/game-of-life/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/game-of-life/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/game-of-life/.docs/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/game-of-life/.docs/introduction.md -------------------------------------------------------------------------------- /exercises/practice/game-of-life/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/game-of-life/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/game-of-life/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/game-of-life/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/game-of-life/example/GameOfLife.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/game-of-life/example/GameOfLife.idr -------------------------------------------------------------------------------- /exercises/practice/game-of-life/game-of-life.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/game-of-life/game-of-life.ipkg -------------------------------------------------------------------------------- /exercises/practice/game-of-life/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/game-of-life/pack.toml -------------------------------------------------------------------------------- /exercises/practice/game-of-life/src/GameOfLife.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/game-of-life/src/GameOfLife.idr -------------------------------------------------------------------------------- /exercises/practice/game-of-life/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/game-of-life/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/game-of-life/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/game-of-life/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/grains/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/grains/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/grains/.docs/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/grains/.docs/introduction.md -------------------------------------------------------------------------------- /exercises/practice/grains/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/grains/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/grains/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/grains/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/grains/example/Grains.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/grains/example/Grains.idr -------------------------------------------------------------------------------- /exercises/practice/grains/grains.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/grains/grains.ipkg -------------------------------------------------------------------------------- /exercises/practice/grains/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/grains/pack.toml -------------------------------------------------------------------------------- /exercises/practice/grains/src/Grains.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/grains/src/Grains.idr -------------------------------------------------------------------------------- /exercises/practice/grains/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/grains/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/grains/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/grains/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/hamming/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/hamming/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/hamming/.docs/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/hamming/.docs/introduction.md -------------------------------------------------------------------------------- /exercises/practice/hamming/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/hamming/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/hamming/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/hamming/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/hamming/example/Hamming.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/hamming/example/Hamming.idr -------------------------------------------------------------------------------- /exercises/practice/hamming/hamming.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/hamming/hamming.ipkg -------------------------------------------------------------------------------- /exercises/practice/hamming/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/hamming/pack.toml -------------------------------------------------------------------------------- /exercises/practice/hamming/src/Hamming.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/hamming/src/Hamming.idr -------------------------------------------------------------------------------- /exercises/practice/hamming/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/hamming/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/hamming/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/hamming/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/hello-world/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/hello-world/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/hello-world/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/hello-world/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/hello-world/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/hello-world/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/hello-world/example/HelloWorld.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/hello-world/example/HelloWorld.idr -------------------------------------------------------------------------------- /exercises/practice/hello-world/hello-world.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/hello-world/hello-world.ipkg -------------------------------------------------------------------------------- /exercises/practice/hello-world/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/hello-world/pack.toml -------------------------------------------------------------------------------- /exercises/practice/hello-world/src/HelloWorld.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/hello-world/src/HelloWorld.idr -------------------------------------------------------------------------------- /exercises/practice/hello-world/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/hello-world/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/hello-world/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/hello-world/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/isbn-verifier/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/isbn-verifier/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/isbn-verifier/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/isbn-verifier/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/isbn-verifier/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/isbn-verifier/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/isbn-verifier/example/IsbnVerifier.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/isbn-verifier/example/IsbnVerifier.idr -------------------------------------------------------------------------------- /exercises/practice/isbn-verifier/isbn-verifier.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/isbn-verifier/isbn-verifier.ipkg -------------------------------------------------------------------------------- /exercises/practice/isbn-verifier/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/isbn-verifier/pack.toml -------------------------------------------------------------------------------- /exercises/practice/isbn-verifier/src/IsbnVerifier.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/isbn-verifier/src/IsbnVerifier.idr -------------------------------------------------------------------------------- /exercises/practice/isbn-verifier/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/isbn-verifier/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/isbn-verifier/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/isbn-verifier/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/isogram/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/isogram/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/isogram/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/isogram/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/isogram/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/isogram/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/isogram/example/Isogram.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/isogram/example/Isogram.idr -------------------------------------------------------------------------------- /exercises/practice/isogram/isogram.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/isogram/isogram.ipkg -------------------------------------------------------------------------------- /exercises/practice/isogram/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/isogram/pack.toml -------------------------------------------------------------------------------- /exercises/practice/isogram/src/Isogram.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/isogram/src/Isogram.idr -------------------------------------------------------------------------------- /exercises/practice/isogram/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/isogram/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/isogram/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/isogram/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/kindergarten-garden/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/kindergarten-garden/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/kindergarten-garden/.docs/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/kindergarten-garden/.docs/introduction.md -------------------------------------------------------------------------------- /exercises/practice/kindergarten-garden/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/kindergarten-garden/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/kindergarten-garden/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/kindergarten-garden/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/kindergarten-garden/example/KindergartenGarden.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/kindergarten-garden/example/KindergartenGarden.idr -------------------------------------------------------------------------------- /exercises/practice/kindergarten-garden/kindergarten-garden.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/kindergarten-garden/kindergarten-garden.ipkg -------------------------------------------------------------------------------- /exercises/practice/kindergarten-garden/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/kindergarten-garden/pack.toml -------------------------------------------------------------------------------- /exercises/practice/kindergarten-garden/src/KindergartenGarden.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/kindergarten-garden/src/KindergartenGarden.idr -------------------------------------------------------------------------------- /exercises/practice/kindergarten-garden/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/kindergarten-garden/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/kindergarten-garden/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/kindergarten-garden/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/knapsack/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/knapsack/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/knapsack/.docs/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/knapsack/.docs/introduction.md -------------------------------------------------------------------------------- /exercises/practice/knapsack/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/knapsack/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/knapsack/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/knapsack/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/knapsack/example/Knapsack.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/knapsack/example/Knapsack.idr -------------------------------------------------------------------------------- /exercises/practice/knapsack/knapsack.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/knapsack/knapsack.ipkg -------------------------------------------------------------------------------- /exercises/practice/knapsack/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/knapsack/pack.toml -------------------------------------------------------------------------------- /exercises/practice/knapsack/src/Knapsack.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/knapsack/src/Knapsack.idr -------------------------------------------------------------------------------- /exercises/practice/knapsack/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/knapsack/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/knapsack/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/knapsack/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/largest-series-product/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/largest-series-product/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/largest-series-product/.docs/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/largest-series-product/.docs/introduction.md -------------------------------------------------------------------------------- /exercises/practice/largest-series-product/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/largest-series-product/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/largest-series-product/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/largest-series-product/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/largest-series-product/example/LargestSeriesProduct.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/largest-series-product/example/LargestSeriesProduct.idr -------------------------------------------------------------------------------- /exercises/practice/largest-series-product/largest-series-product.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/largest-series-product/largest-series-product.ipkg -------------------------------------------------------------------------------- /exercises/practice/largest-series-product/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/largest-series-product/pack.toml -------------------------------------------------------------------------------- /exercises/practice/largest-series-product/src/LargestSeriesProduct.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/largest-series-product/src/LargestSeriesProduct.idr -------------------------------------------------------------------------------- /exercises/practice/largest-series-product/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/largest-series-product/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/largest-series-product/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/largest-series-product/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/leap/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/leap/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/leap/.docs/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/leap/.docs/introduction.md -------------------------------------------------------------------------------- /exercises/practice/leap/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/leap/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/leap/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/leap/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/leap/example/Leap.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/leap/example/Leap.idr -------------------------------------------------------------------------------- /exercises/practice/leap/leap.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/leap/leap.ipkg -------------------------------------------------------------------------------- /exercises/practice/leap/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/leap/pack.toml -------------------------------------------------------------------------------- /exercises/practice/leap/src/Leap.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/leap/src/Leap.idr -------------------------------------------------------------------------------- /exercises/practice/leap/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/leap/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/leap/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/leap/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/lens-person/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/lens-person/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/lens-person/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/lens-person/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/lens-person/example/LensPerson.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/lens-person/example/LensPerson.idr -------------------------------------------------------------------------------- /exercises/practice/lens-person/lens-person.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/lens-person/lens-person.ipkg -------------------------------------------------------------------------------- /exercises/practice/lens-person/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/lens-person/pack.toml -------------------------------------------------------------------------------- /exercises/practice/lens-person/src/LensPerson.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/lens-person/src/LensPerson.idr -------------------------------------------------------------------------------- /exercises/practice/lens-person/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/lens-person/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/lens-person/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/lens-person/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/line-up/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/line-up/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/line-up/.docs/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/line-up/.docs/introduction.md -------------------------------------------------------------------------------- /exercises/practice/line-up/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/line-up/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/line-up/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/line-up/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/line-up/example/LineUp.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/line-up/example/LineUp.idr -------------------------------------------------------------------------------- /exercises/practice/line-up/line-up.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/line-up/line-up.ipkg -------------------------------------------------------------------------------- /exercises/practice/line-up/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/line-up/pack.toml -------------------------------------------------------------------------------- /exercises/practice/line-up/src/LineUp.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/line-up/src/LineUp.idr -------------------------------------------------------------------------------- /exercises/practice/line-up/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/line-up/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/line-up/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/line-up/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/list-ops/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/list-ops/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/list-ops/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/list-ops/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/list-ops/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/list-ops/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/list-ops/example/ListOps.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/list-ops/example/ListOps.idr -------------------------------------------------------------------------------- /exercises/practice/list-ops/list-ops.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/list-ops/list-ops.ipkg -------------------------------------------------------------------------------- /exercises/practice/list-ops/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/list-ops/pack.toml -------------------------------------------------------------------------------- /exercises/practice/list-ops/src/ListOps.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/list-ops/src/ListOps.idr -------------------------------------------------------------------------------- /exercises/practice/list-ops/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/list-ops/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/list-ops/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/list-ops/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/luhn/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/luhn/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/luhn/.docs/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/luhn/.docs/introduction.md -------------------------------------------------------------------------------- /exercises/practice/luhn/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/luhn/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/luhn/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/luhn/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/luhn/example/Luhn.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/luhn/example/Luhn.idr -------------------------------------------------------------------------------- /exercises/practice/luhn/luhn.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/luhn/luhn.ipkg -------------------------------------------------------------------------------- /exercises/practice/luhn/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/luhn/pack.toml -------------------------------------------------------------------------------- /exercises/practice/luhn/src/Luhn.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/luhn/src/Luhn.idr -------------------------------------------------------------------------------- /exercises/practice/luhn/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/luhn/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/luhn/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/luhn/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/matching-brackets/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/matching-brackets/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/matching-brackets/.docs/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/matching-brackets/.docs/introduction.md -------------------------------------------------------------------------------- /exercises/practice/matching-brackets/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/matching-brackets/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/matching-brackets/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/matching-brackets/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/matching-brackets/example/MatchingBrackets.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/matching-brackets/example/MatchingBrackets.idr -------------------------------------------------------------------------------- /exercises/practice/matching-brackets/matching-brackets.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/matching-brackets/matching-brackets.ipkg -------------------------------------------------------------------------------- /exercises/practice/matching-brackets/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/matching-brackets/pack.toml -------------------------------------------------------------------------------- /exercises/practice/matching-brackets/src/MatchingBrackets.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/matching-brackets/src/MatchingBrackets.idr -------------------------------------------------------------------------------- /exercises/practice/matching-brackets/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/matching-brackets/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/matching-brackets/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/matching-brackets/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/meetup/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/meetup/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/meetup/.docs/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/meetup/.docs/introduction.md -------------------------------------------------------------------------------- /exercises/practice/meetup/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/meetup/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/meetup/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/meetup/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/meetup/example/Meetup.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/meetup/example/Meetup.idr -------------------------------------------------------------------------------- /exercises/practice/meetup/meetup.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/meetup/meetup.ipkg -------------------------------------------------------------------------------- /exercises/practice/meetup/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/meetup/pack.toml -------------------------------------------------------------------------------- /exercises/practice/meetup/src/Meetup.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/meetup/src/Meetup.idr -------------------------------------------------------------------------------- /exercises/practice/meetup/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/meetup/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/meetup/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/meetup/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/micro-blog/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/micro-blog/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/micro-blog/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/micro-blog/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/micro-blog/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/micro-blog/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/micro-blog/example/MicroBlog.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/micro-blog/example/MicroBlog.idr -------------------------------------------------------------------------------- /exercises/practice/micro-blog/micro-blog.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/micro-blog/micro-blog.ipkg -------------------------------------------------------------------------------- /exercises/practice/micro-blog/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/micro-blog/pack.toml -------------------------------------------------------------------------------- /exercises/practice/micro-blog/src/MicroBlog.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/micro-blog/src/MicroBlog.idr -------------------------------------------------------------------------------- /exercises/practice/micro-blog/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/micro-blog/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/micro-blog/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/micro-blog/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/nth-prime/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/nth-prime/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/nth-prime/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/nth-prime/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/nth-prime/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/nth-prime/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/nth-prime/example/NthPrime.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/nth-prime/example/NthPrime.idr -------------------------------------------------------------------------------- /exercises/practice/nth-prime/nth-prime.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/nth-prime/nth-prime.ipkg -------------------------------------------------------------------------------- /exercises/practice/nth-prime/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/nth-prime/pack.toml -------------------------------------------------------------------------------- /exercises/practice/nth-prime/src/NthPrime.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/nth-prime/src/NthPrime.idr -------------------------------------------------------------------------------- /exercises/practice/nth-prime/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/nth-prime/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/nth-prime/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/nth-prime/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/nucleotide-count/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/nucleotide-count/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/nucleotide-count/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/nucleotide-count/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/nucleotide-count/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/nucleotide-count/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/nucleotide-count/example/NucleotideCount.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/nucleotide-count/example/NucleotideCount.idr -------------------------------------------------------------------------------- /exercises/practice/nucleotide-count/nucleotide-count.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/nucleotide-count/nucleotide-count.ipkg -------------------------------------------------------------------------------- /exercises/practice/nucleotide-count/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/nucleotide-count/pack.toml -------------------------------------------------------------------------------- /exercises/practice/nucleotide-count/src/NucleotideCount.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/nucleotide-count/src/NucleotideCount.idr -------------------------------------------------------------------------------- /exercises/practice/nucleotide-count/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/nucleotide-count/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/nucleotide-count/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/nucleotide-count/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/pangram/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/pangram/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/pangram/.docs/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/pangram/.docs/introduction.md -------------------------------------------------------------------------------- /exercises/practice/pangram/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/pangram/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/pangram/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/pangram/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/pangram/example/Pangram.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/pangram/example/Pangram.idr -------------------------------------------------------------------------------- /exercises/practice/pangram/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/pangram/pack.toml -------------------------------------------------------------------------------- /exercises/practice/pangram/pangram.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/pangram/pangram.ipkg -------------------------------------------------------------------------------- /exercises/practice/pangram/src/Pangram.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/pangram/src/Pangram.idr -------------------------------------------------------------------------------- /exercises/practice/pangram/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/pangram/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/pangram/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/pangram/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/perfect-numbers/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/perfect-numbers/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/perfect-numbers/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/perfect-numbers/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/perfect-numbers/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/perfect-numbers/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/perfect-numbers/example/PerfectNumbers.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/perfect-numbers/example/PerfectNumbers.idr -------------------------------------------------------------------------------- /exercises/practice/perfect-numbers/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/perfect-numbers/pack.toml -------------------------------------------------------------------------------- /exercises/practice/perfect-numbers/perfect-numbers.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/perfect-numbers/perfect-numbers.ipkg -------------------------------------------------------------------------------- /exercises/practice/perfect-numbers/src/PerfectNumbers.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/perfect-numbers/src/PerfectNumbers.idr -------------------------------------------------------------------------------- /exercises/practice/perfect-numbers/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/perfect-numbers/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/perfect-numbers/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/perfect-numbers/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/phone-number/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/phone-number/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/phone-number/.docs/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/phone-number/.docs/introduction.md -------------------------------------------------------------------------------- /exercises/practice/phone-number/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/phone-number/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/phone-number/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/phone-number/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/phone-number/example/PhoneNumber.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/phone-number/example/PhoneNumber.idr -------------------------------------------------------------------------------- /exercises/practice/phone-number/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/phone-number/pack.toml -------------------------------------------------------------------------------- /exercises/practice/phone-number/phone-number.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/phone-number/phone-number.ipkg -------------------------------------------------------------------------------- /exercises/practice/phone-number/src/PhoneNumber.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/phone-number/src/PhoneNumber.idr -------------------------------------------------------------------------------- /exercises/practice/phone-number/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/phone-number/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/phone-number/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/phone-number/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/prime-factors/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/prime-factors/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/prime-factors/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/prime-factors/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/prime-factors/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/prime-factors/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/prime-factors/example/PrimeFactors.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/prime-factors/example/PrimeFactors.idr -------------------------------------------------------------------------------- /exercises/practice/prime-factors/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/prime-factors/pack.toml -------------------------------------------------------------------------------- /exercises/practice/prime-factors/prime-factors.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/prime-factors/prime-factors.ipkg -------------------------------------------------------------------------------- /exercises/practice/prime-factors/src/PrimeFactors.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/prime-factors/src/PrimeFactors.idr -------------------------------------------------------------------------------- /exercises/practice/prime-factors/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/prime-factors/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/prime-factors/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/prime-factors/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/pythagorean-triplet/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/pythagorean-triplet/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/pythagorean-triplet/.docs/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/pythagorean-triplet/.docs/introduction.md -------------------------------------------------------------------------------- /exercises/practice/pythagorean-triplet/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/pythagorean-triplet/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/pythagorean-triplet/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/pythagorean-triplet/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/pythagorean-triplet/example/PythagoreanTriplet.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/pythagorean-triplet/example/PythagoreanTriplet.idr -------------------------------------------------------------------------------- /exercises/practice/pythagorean-triplet/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/pythagorean-triplet/pack.toml -------------------------------------------------------------------------------- /exercises/practice/pythagorean-triplet/pythagorean-triplet.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/pythagorean-triplet/pythagorean-triplet.ipkg -------------------------------------------------------------------------------- /exercises/practice/pythagorean-triplet/src/PythagoreanTriplet.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/pythagorean-triplet/src/PythagoreanTriplet.idr -------------------------------------------------------------------------------- /exercises/practice/pythagorean-triplet/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/pythagorean-triplet/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/pythagorean-triplet/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/pythagorean-triplet/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/raindrops/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/raindrops/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/raindrops/.docs/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/raindrops/.docs/introduction.md -------------------------------------------------------------------------------- /exercises/practice/raindrops/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/raindrops/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/raindrops/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/raindrops/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/raindrops/example/Raindrops.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/raindrops/example/Raindrops.idr -------------------------------------------------------------------------------- /exercises/practice/raindrops/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/raindrops/pack.toml -------------------------------------------------------------------------------- /exercises/practice/raindrops/raindrops.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/raindrops/raindrops.ipkg -------------------------------------------------------------------------------- /exercises/practice/raindrops/src/Raindrops.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/raindrops/src/Raindrops.idr -------------------------------------------------------------------------------- /exercises/practice/raindrops/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/raindrops/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/raindrops/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/raindrops/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/resistor-color-duo/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/resistor-color-duo/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/resistor-color-duo/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/resistor-color-duo/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/resistor-color-duo/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/resistor-color-duo/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/resistor-color-duo/example/ResistorColorDuo.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/resistor-color-duo/example/ResistorColorDuo.idr -------------------------------------------------------------------------------- /exercises/practice/resistor-color-duo/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/resistor-color-duo/pack.toml -------------------------------------------------------------------------------- /exercises/practice/resistor-color-duo/resistor-color-duo.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/resistor-color-duo/resistor-color-duo.ipkg -------------------------------------------------------------------------------- /exercises/practice/resistor-color-duo/src/ResistorColorDuo.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/resistor-color-duo/src/ResistorColorDuo.idr -------------------------------------------------------------------------------- /exercises/practice/resistor-color-duo/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/resistor-color-duo/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/resistor-color-duo/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/resistor-color-duo/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/resistor-color-trio/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/resistor-color-trio/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/resistor-color-trio/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/resistor-color-trio/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/resistor-color-trio/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/resistor-color-trio/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/resistor-color-trio/example/ResistorColorTrio.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/resistor-color-trio/example/ResistorColorTrio.idr -------------------------------------------------------------------------------- /exercises/practice/resistor-color-trio/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/resistor-color-trio/pack.toml -------------------------------------------------------------------------------- /exercises/practice/resistor-color-trio/resistor-color-trio.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/resistor-color-trio/resistor-color-trio.ipkg -------------------------------------------------------------------------------- /exercises/practice/resistor-color-trio/src/ResistorColorTrio.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/resistor-color-trio/src/ResistorColorTrio.idr -------------------------------------------------------------------------------- /exercises/practice/resistor-color-trio/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/resistor-color-trio/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/resistor-color-trio/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/resistor-color-trio/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/resistor-color/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/resistor-color/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/resistor-color/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/resistor-color/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/resistor-color/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/resistor-color/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/resistor-color/example/ResistorColor.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/resistor-color/example/ResistorColor.idr -------------------------------------------------------------------------------- /exercises/practice/resistor-color/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/resistor-color/pack.toml -------------------------------------------------------------------------------- /exercises/practice/resistor-color/resistor-color.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/resistor-color/resistor-color.ipkg -------------------------------------------------------------------------------- /exercises/practice/resistor-color/src/ResistorColor.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/resistor-color/src/ResistorColor.idr -------------------------------------------------------------------------------- /exercises/practice/resistor-color/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/resistor-color/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/resistor-color/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/resistor-color/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/reverse-string/.docs/instructions.append.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/reverse-string/.docs/instructions.append.md -------------------------------------------------------------------------------- /exercises/practice/reverse-string/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/reverse-string/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/reverse-string/.docs/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/reverse-string/.docs/introduction.md -------------------------------------------------------------------------------- /exercises/practice/reverse-string/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/reverse-string/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/reverse-string/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/reverse-string/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/reverse-string/example/ReverseString.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/reverse-string/example/ReverseString.idr -------------------------------------------------------------------------------- /exercises/practice/reverse-string/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/reverse-string/pack.toml -------------------------------------------------------------------------------- /exercises/practice/reverse-string/reverse-string.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/reverse-string/reverse-string.ipkg -------------------------------------------------------------------------------- /exercises/practice/reverse-string/src/ReverseString.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/reverse-string/src/ReverseString.idr -------------------------------------------------------------------------------- /exercises/practice/reverse-string/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/reverse-string/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/reverse-string/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/reverse-string/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/rna-transcription/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/rna-transcription/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/rna-transcription/.docs/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/rna-transcription/.docs/introduction.md -------------------------------------------------------------------------------- /exercises/practice/rna-transcription/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/rna-transcription/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/rna-transcription/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/rna-transcription/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/rna-transcription/example/RnaTranscription.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/rna-transcription/example/RnaTranscription.idr -------------------------------------------------------------------------------- /exercises/practice/rna-transcription/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/rna-transcription/pack.toml -------------------------------------------------------------------------------- /exercises/practice/rna-transcription/rna-transcription.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/rna-transcription/rna-transcription.ipkg -------------------------------------------------------------------------------- /exercises/practice/rna-transcription/src/RnaTranscription.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/rna-transcription/src/RnaTranscription.idr -------------------------------------------------------------------------------- /exercises/practice/rna-transcription/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/rna-transcription/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/rna-transcription/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/rna-transcription/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/robot-simulator/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/robot-simulator/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/robot-simulator/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/robot-simulator/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/robot-simulator/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/robot-simulator/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/robot-simulator/example/RobotSimulator.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/robot-simulator/example/RobotSimulator.idr -------------------------------------------------------------------------------- /exercises/practice/robot-simulator/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/robot-simulator/pack.toml -------------------------------------------------------------------------------- /exercises/practice/robot-simulator/robot-simulator.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/robot-simulator/robot-simulator.ipkg -------------------------------------------------------------------------------- /exercises/practice/robot-simulator/src/RobotSimulator.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/robot-simulator/src/RobotSimulator.idr -------------------------------------------------------------------------------- /exercises/practice/robot-simulator/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/robot-simulator/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/robot-simulator/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/robot-simulator/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/roman-numerals/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/roman-numerals/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/roman-numerals/.docs/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/roman-numerals/.docs/introduction.md -------------------------------------------------------------------------------- /exercises/practice/roman-numerals/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/roman-numerals/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/roman-numerals/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/roman-numerals/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/roman-numerals/example/RomanNumerals.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/roman-numerals/example/RomanNumerals.idr -------------------------------------------------------------------------------- /exercises/practice/roman-numerals/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/roman-numerals/pack.toml -------------------------------------------------------------------------------- /exercises/practice/roman-numerals/roman-numerals.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/roman-numerals/roman-numerals.ipkg -------------------------------------------------------------------------------- /exercises/practice/roman-numerals/src/RomanNumerals.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/roman-numerals/src/RomanNumerals.idr -------------------------------------------------------------------------------- /exercises/practice/roman-numerals/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/roman-numerals/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/roman-numerals/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/roman-numerals/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/rotational-cipher/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/rotational-cipher/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/rotational-cipher/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/rotational-cipher/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/rotational-cipher/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/rotational-cipher/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/rotational-cipher/example/RotationalCipher.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/rotational-cipher/example/RotationalCipher.idr -------------------------------------------------------------------------------- /exercises/practice/rotational-cipher/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/rotational-cipher/pack.toml -------------------------------------------------------------------------------- /exercises/practice/rotational-cipher/rotational-cipher.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/rotational-cipher/rotational-cipher.ipkg -------------------------------------------------------------------------------- /exercises/practice/rotational-cipher/src/RotationalCipher.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/rotational-cipher/src/RotationalCipher.idr -------------------------------------------------------------------------------- /exercises/practice/rotational-cipher/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/rotational-cipher/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/rotational-cipher/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/rotational-cipher/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/run-length-encoding/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/run-length-encoding/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/run-length-encoding/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/run-length-encoding/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/run-length-encoding/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/run-length-encoding/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/run-length-encoding/example/RunLengthEncoding.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/run-length-encoding/example/RunLengthEncoding.idr -------------------------------------------------------------------------------- /exercises/practice/run-length-encoding/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/run-length-encoding/pack.toml -------------------------------------------------------------------------------- /exercises/practice/run-length-encoding/run-length-encoding.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/run-length-encoding/run-length-encoding.ipkg -------------------------------------------------------------------------------- /exercises/practice/run-length-encoding/src/RunLengthEncoding.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/run-length-encoding/src/RunLengthEncoding.idr -------------------------------------------------------------------------------- /exercises/practice/run-length-encoding/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/run-length-encoding/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/run-length-encoding/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/run-length-encoding/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/satellite/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/satellite/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/satellite/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/satellite/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/satellite/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/satellite/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/satellite/example/Satellite.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/satellite/example/Satellite.idr -------------------------------------------------------------------------------- /exercises/practice/satellite/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/satellite/pack.toml -------------------------------------------------------------------------------- /exercises/practice/satellite/satellite.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/satellite/satellite.ipkg -------------------------------------------------------------------------------- /exercises/practice/satellite/src/Satellite.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/satellite/src/Satellite.idr -------------------------------------------------------------------------------- /exercises/practice/satellite/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/satellite/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/satellite/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/satellite/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/scrabble-score/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/scrabble-score/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/scrabble-score/.docs/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/scrabble-score/.docs/introduction.md -------------------------------------------------------------------------------- /exercises/practice/scrabble-score/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/scrabble-score/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/scrabble-score/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/scrabble-score/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/scrabble-score/example/ScrabbleScore.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/scrabble-score/example/ScrabbleScore.idr -------------------------------------------------------------------------------- /exercises/practice/scrabble-score/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/scrabble-score/pack.toml -------------------------------------------------------------------------------- /exercises/practice/scrabble-score/scrabble-score.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/scrabble-score/scrabble-score.ipkg -------------------------------------------------------------------------------- /exercises/practice/scrabble-score/src/ScrabbleScore.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/scrabble-score/src/ScrabbleScore.idr -------------------------------------------------------------------------------- /exercises/practice/scrabble-score/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/scrabble-score/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/scrabble-score/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/scrabble-score/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/secret-handshake/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/secret-handshake/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/secret-handshake/.docs/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/secret-handshake/.docs/introduction.md -------------------------------------------------------------------------------- /exercises/practice/secret-handshake/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/secret-handshake/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/secret-handshake/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/secret-handshake/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/secret-handshake/example/SecretHandshake.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/secret-handshake/example/SecretHandshake.idr -------------------------------------------------------------------------------- /exercises/practice/secret-handshake/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/secret-handshake/pack.toml -------------------------------------------------------------------------------- /exercises/practice/secret-handshake/secret-handshake.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/secret-handshake/secret-handshake.ipkg -------------------------------------------------------------------------------- /exercises/practice/secret-handshake/src/SecretHandshake.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/secret-handshake/src/SecretHandshake.idr -------------------------------------------------------------------------------- /exercises/practice/secret-handshake/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/secret-handshake/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/secret-handshake/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/secret-handshake/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/sieve/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/sieve/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/sieve/.docs/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/sieve/.docs/introduction.md -------------------------------------------------------------------------------- /exercises/practice/sieve/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/sieve/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/sieve/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/sieve/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/sieve/example/Sieve.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/sieve/example/Sieve.idr -------------------------------------------------------------------------------- /exercises/practice/sieve/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/sieve/pack.toml -------------------------------------------------------------------------------- /exercises/practice/sieve/sieve.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/sieve/sieve.ipkg -------------------------------------------------------------------------------- /exercises/practice/sieve/src/Sieve.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/sieve/src/Sieve.idr -------------------------------------------------------------------------------- /exercises/practice/sieve/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/sieve/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/sieve/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/sieve/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/space-age/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/space-age/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/space-age/.docs/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/space-age/.docs/introduction.md -------------------------------------------------------------------------------- /exercises/practice/space-age/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/space-age/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/space-age/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/space-age/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/space-age/example/SpaceAge.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/space-age/example/SpaceAge.idr -------------------------------------------------------------------------------- /exercises/practice/space-age/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/space-age/pack.toml -------------------------------------------------------------------------------- /exercises/practice/space-age/space-age.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/space-age/space-age.ipkg -------------------------------------------------------------------------------- /exercises/practice/space-age/src/SpaceAge.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/space-age/src/SpaceAge.idr -------------------------------------------------------------------------------- /exercises/practice/space-age/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/space-age/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/space-age/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/space-age/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/square-root/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/square-root/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/square-root/.docs/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/square-root/.docs/introduction.md -------------------------------------------------------------------------------- /exercises/practice/square-root/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/square-root/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/square-root/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/square-root/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/square-root/example/SquareRoot.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/square-root/example/SquareRoot.idr -------------------------------------------------------------------------------- /exercises/practice/square-root/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/square-root/pack.toml -------------------------------------------------------------------------------- /exercises/practice/square-root/square-root.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/square-root/square-root.ipkg -------------------------------------------------------------------------------- /exercises/practice/square-root/src/SquareRoot.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/square-root/src/SquareRoot.idr -------------------------------------------------------------------------------- /exercises/practice/square-root/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/square-root/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/square-root/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/square-root/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/sum-of-multiples/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/sum-of-multiples/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/sum-of-multiples/.docs/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/sum-of-multiples/.docs/introduction.md -------------------------------------------------------------------------------- /exercises/practice/sum-of-multiples/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/sum-of-multiples/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/sum-of-multiples/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/sum-of-multiples/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/sum-of-multiples/example/SumOfMultiples.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/sum-of-multiples/example/SumOfMultiples.idr -------------------------------------------------------------------------------- /exercises/practice/sum-of-multiples/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/sum-of-multiples/pack.toml -------------------------------------------------------------------------------- /exercises/practice/sum-of-multiples/src/SumOfMultiples.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/sum-of-multiples/src/SumOfMultiples.idr -------------------------------------------------------------------------------- /exercises/practice/sum-of-multiples/sum-of-multiples.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/sum-of-multiples/sum-of-multiples.ipkg -------------------------------------------------------------------------------- /exercises/practice/sum-of-multiples/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/sum-of-multiples/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/sum-of-multiples/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/sum-of-multiples/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/triangle/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/triangle/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/triangle/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/triangle/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/triangle/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/triangle/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/triangle/example/Triangle.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/triangle/example/Triangle.idr -------------------------------------------------------------------------------- /exercises/practice/triangle/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/triangle/pack.toml -------------------------------------------------------------------------------- /exercises/practice/triangle/src/Triangle.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/triangle/src/Triangle.idr -------------------------------------------------------------------------------- /exercises/practice/triangle/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/triangle/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/triangle/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/triangle/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/triangle/triangle.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/triangle/triangle.ipkg -------------------------------------------------------------------------------- /exercises/practice/two-fer/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/two-fer/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/two-fer/.docs/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/two-fer/.docs/introduction.md -------------------------------------------------------------------------------- /exercises/practice/two-fer/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/two-fer/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/two-fer/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/two-fer/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/two-fer/example/TwoFer.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/two-fer/example/TwoFer.idr -------------------------------------------------------------------------------- /exercises/practice/two-fer/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/two-fer/pack.toml -------------------------------------------------------------------------------- /exercises/practice/two-fer/src/TwoFer.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/two-fer/src/TwoFer.idr -------------------------------------------------------------------------------- /exercises/practice/two-fer/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/two-fer/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/two-fer/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/two-fer/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/two-fer/two-fer.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/two-fer/two-fer.ipkg -------------------------------------------------------------------------------- /exercises/practice/zebra-puzzle/.docs/instructions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/zebra-puzzle/.docs/instructions.md -------------------------------------------------------------------------------- /exercises/practice/zebra-puzzle/.docs/introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/zebra-puzzle/.docs/introduction.md -------------------------------------------------------------------------------- /exercises/practice/zebra-puzzle/.meta/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/zebra-puzzle/.meta/config.json -------------------------------------------------------------------------------- /exercises/practice/zebra-puzzle/.meta/tests.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/zebra-puzzle/.meta/tests.toml -------------------------------------------------------------------------------- /exercises/practice/zebra-puzzle/example/ZebraPuzzle.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/zebra-puzzle/example/ZebraPuzzle.idr -------------------------------------------------------------------------------- /exercises/practice/zebra-puzzle/pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/zebra-puzzle/pack.toml -------------------------------------------------------------------------------- /exercises/practice/zebra-puzzle/src/ZebraPuzzle.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/zebra-puzzle/src/ZebraPuzzle.idr -------------------------------------------------------------------------------- /exercises/practice/zebra-puzzle/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/zebra-puzzle/test/src/Main.idr -------------------------------------------------------------------------------- /exercises/practice/zebra-puzzle/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/zebra-puzzle/test/test.ipkg -------------------------------------------------------------------------------- /exercises/practice/zebra-puzzle/zebra-puzzle.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/practice/zebra-puzzle/zebra-puzzle.ipkg -------------------------------------------------------------------------------- /exercises/shared/.docs/help.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/shared/.docs/help.md -------------------------------------------------------------------------------- /exercises/shared/.docs/tests.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/exercises/shared/.docs/tests.md -------------------------------------------------------------------------------- /generators/exercises/accumulate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/accumulate.py -------------------------------------------------------------------------------- /generators/exercises/all_your_base.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/all_your_base.py -------------------------------------------------------------------------------- /generators/exercises/armstrong_numbers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/armstrong_numbers.py -------------------------------------------------------------------------------- /generators/exercises/atbash_cipher.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/atbash_cipher.py -------------------------------------------------------------------------------- /generators/exercises/binary_search.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/binary_search.py -------------------------------------------------------------------------------- /generators/exercises/bob.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/bob.py -------------------------------------------------------------------------------- /generators/exercises/book_store.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/book_store.py -------------------------------------------------------------------------------- /generators/exercises/collatz_conjecture.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/collatz_conjecture.py -------------------------------------------------------------------------------- /generators/exercises/darts.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/darts.py -------------------------------------------------------------------------------- /generators/exercises/difference_of_squares.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/difference_of_squares.py -------------------------------------------------------------------------------- /generators/exercises/dominoes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/dominoes.py -------------------------------------------------------------------------------- /generators/exercises/eliuds_eggs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/eliuds_eggs.py -------------------------------------------------------------------------------- /generators/exercises/flatten_array.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/flatten_array.py -------------------------------------------------------------------------------- /generators/exercises/game_of_life.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/game_of_life.py -------------------------------------------------------------------------------- /generators/exercises/grains.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/grains.py -------------------------------------------------------------------------------- /generators/exercises/hamming.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/hamming.py -------------------------------------------------------------------------------- /generators/exercises/hello_world.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/hello_world.py -------------------------------------------------------------------------------- /generators/exercises/isbn_verifier.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/isbn_verifier.py -------------------------------------------------------------------------------- /generators/exercises/isogram.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/isogram.py -------------------------------------------------------------------------------- /generators/exercises/kindergarten_garden.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/kindergarten_garden.py -------------------------------------------------------------------------------- /generators/exercises/knapsack.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/knapsack.py -------------------------------------------------------------------------------- /generators/exercises/largest_series_product.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/largest_series_product.py -------------------------------------------------------------------------------- /generators/exercises/leap.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/leap.py -------------------------------------------------------------------------------- /generators/exercises/lens_person.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/lens_person.py -------------------------------------------------------------------------------- /generators/exercises/line_up.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/line_up.py -------------------------------------------------------------------------------- /generators/exercises/list_ops.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/list_ops.py -------------------------------------------------------------------------------- /generators/exercises/luhn.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/luhn.py -------------------------------------------------------------------------------- /generators/exercises/matching_brackets.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/matching_brackets.py -------------------------------------------------------------------------------- /generators/exercises/meetup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/meetup.py -------------------------------------------------------------------------------- /generators/exercises/micro_blog.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/micro_blog.py -------------------------------------------------------------------------------- /generators/exercises/nth_prime.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/nth_prime.py -------------------------------------------------------------------------------- /generators/exercises/nucleotide_count.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/nucleotide_count.py -------------------------------------------------------------------------------- /generators/exercises/pangram.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/pangram.py -------------------------------------------------------------------------------- /generators/exercises/perfect_numbers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/perfect_numbers.py -------------------------------------------------------------------------------- /generators/exercises/phone_number.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/phone_number.py -------------------------------------------------------------------------------- /generators/exercises/prime_factors.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/prime_factors.py -------------------------------------------------------------------------------- /generators/exercises/pythagorean_triplet.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/pythagorean_triplet.py -------------------------------------------------------------------------------- /generators/exercises/raindrops.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/raindrops.py -------------------------------------------------------------------------------- /generators/exercises/resistor_color.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/resistor_color.py -------------------------------------------------------------------------------- /generators/exercises/resistor_color_duo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/resistor_color_duo.py -------------------------------------------------------------------------------- /generators/exercises/resistor_color_trio.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/resistor_color_trio.py -------------------------------------------------------------------------------- /generators/exercises/reverse_string.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/reverse_string.py -------------------------------------------------------------------------------- /generators/exercises/rna_transcription.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/rna_transcription.py -------------------------------------------------------------------------------- /generators/exercises/robot_simulator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/robot_simulator.py -------------------------------------------------------------------------------- /generators/exercises/roman_numerals.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/roman_numerals.py -------------------------------------------------------------------------------- /generators/exercises/rotational_cipher.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/rotational_cipher.py -------------------------------------------------------------------------------- /generators/exercises/run_length_encoding.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/run_length_encoding.py -------------------------------------------------------------------------------- /generators/exercises/satellite.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/satellite.py -------------------------------------------------------------------------------- /generators/exercises/scrabble_score.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/scrabble_score.py -------------------------------------------------------------------------------- /generators/exercises/secret_handshake.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/secret_handshake.py -------------------------------------------------------------------------------- /generators/exercises/sieve.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/sieve.py -------------------------------------------------------------------------------- /generators/exercises/space_age.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/space_age.py -------------------------------------------------------------------------------- /generators/exercises/square_root.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/square_root.py -------------------------------------------------------------------------------- /generators/exercises/sum_of_multiples.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/sum_of_multiples.py -------------------------------------------------------------------------------- /generators/exercises/triangle.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/triangle.py -------------------------------------------------------------------------------- /generators/exercises/two_fer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/two_fer.py -------------------------------------------------------------------------------- /generators/exercises/zebra_puzzle.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/exercises/zebra_puzzle.py -------------------------------------------------------------------------------- /generators/generate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/generators/generate.py -------------------------------------------------------------------------------- /scripts/test-in-docker.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/exercism/idris/HEAD/scripts/test-in-docker.sh --------------------------------------------------------------------------------