Skip to content
Permalink
Branch: master
Commits on Dec 17, 2018
  1. Add create external library tutorial

    marcesquerra committed Dec 17, 2018
Commits on Dec 10, 2018
  1. Ignore ibc files

    marcesquerra committed Dec 10, 2018
Commits on Nov 27, 2018
  1. Add reference to other build tools

    marcesquerra committed Nov 27, 2018
Commits on Nov 26, 2018
  1. Document how to start the repl

    marcesquerra committed Nov 26, 2018
  2. Minor tweaks on idris repl rules

    marcesquerra committed Nov 26, 2018
Commits on Nov 19, 2018
  1. Add support to run repl from bazel

    marcesquerra committed Nov 19, 2018
Commits on Nov 18, 2018
  1. Fix minor typo

    marcesquerra committed Nov 18, 2018
  2. Add tutorial on using external dependencies

    marcesquerra committed Nov 18, 2018
Commits on Nov 16, 2018
  1. Minor typo fix on README

    marcesquerra committed Nov 16, 2018
  2. Add testing tutorial

    marcesquerra committed Nov 16, 2018
Commits on Nov 15, 2018
  1. Add table of contents

    marcesquerra committed Nov 15, 2018
  2. Add tutorial on using modules

    marcesquerra committed Nov 15, 2018
Commits on Nov 13, 2018
  1. Make use of IdrisTest on example

    marcesquerra committed Nov 13, 2018
  2. Fix link typo

    marcesquerra committed Nov 13, 2018
  3. Fix link typo

    marcesquerra committed Nov 13, 2018
  4. New version release

    marcesquerra committed Nov 13, 2018
  5. Improve test integration

    marcesquerra committed Nov 13, 2018
Commits on Nov 12, 2018
  1. Upgrade scala version to 2.12.7

    marcesquerra committed Nov 12, 2018
Commits on Nov 9, 2018
  1. Remove comment regarding CI in README

    marcesquerra committed Nov 9, 2018
  2. Make travis only run a subset of examples

    marcesquerra committed Nov 9, 2018
  3. Make each execution clean after itself

    marcesquerra committed Nov 9, 2018
  4. Try to install nix on travis

    marcesquerra committed Nov 9, 2018
  5. Try to install nix on travis

    marcesquerra committed Nov 9, 2018
  6. Add travis badge

    marcesquerra committed Nov 9, 2018
  7. Add license && travis ci

    marcesquerra committed Nov 9, 2018
  8. Add license

    marcesquerra committed Nov 9, 2018
Commits on Nov 8, 2018
  1. Add logo

    marcesquerra committed Nov 8, 2018
Commits on Nov 7, 2018
  1. Expand README file

    marcesquerra committed Nov 7, 2018
  2. Expand README file

    marcesquerra committed Nov 7, 2018
Commits on Nov 6, 2018
Commits on Nov 5, 2018
Commits on Nov 2, 2018
  1. Work on the README

    marcesquerra committed Nov 2, 2018
Older
You can’t perform that action at this time.