Repository with a bunch of receipts for common algorithmic tasks using Idris.
🌍 Github Pages website is available here 👈
Just open an issue with a suggested topic you are interesting in or create a PR with example/solution added to the corresponding section.
$ bundle exec jekyll serve