Skip to content

@marcesquerra marcesquerra released this Nov 26, 2018 · 4 commits to master since this release

This realease brings support to open the idris repl for the different modules of the project

Assets 2

@marcesquerra marcesquerra released this Nov 13, 2018 · 16 commits to master since this release

This brings a better testing integration, to allow the use of external testing libraries.

Assets 2

@marcesquerra marcesquerra released this Nov 5, 2018 · 34 commits to master since this release

This version of Idris Rules suports:

  • Binary modules
  • Library modules
  • External dependencies
  • Testing

SHA256: 131e9486dfc4e8f7c89665148acbb7a55e482d08d28710dde5e3838c6d11ad14

Assets 2
You can’t perform that action at this time.