Initial working alpha

marcesquerra released this 05 Nov 12:37

· 34 commits to master since this release

b07adab

This version of Idris Rules suports:

Binary modules
Library modules
External dependencies
Testing

SHA256: 131e9486dfc4e8f7c89665148acbb7a55e482d08d28710dde5e3838c6d11ad14

Assets 2