GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → idris-hackers → idrispkgs

idris-hackers / idrispkgs

Licence: MIT license
Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!

Programming Languages

Nix
1067 projects
Idris
72 projects

idrispkgs

Nix expressions for building Idris projects, with dependencies.

Examples

To build the example project:

$ nix-build example.nix
/nix/store/ijih1bxcaqzi8fi0kmj0rd1dk637aa6y-idris-nix-example

You can run the example with:

$ /nix/store/ijih1bxcaqzi8fi0kmj0rd1dk637aa6y-idris-nix-example/bin/idris-nix-example
[1, 2, 3, {}]

Or you can enter the example shell which will put libraries in the right place:

$ nix-shell example-shell.nix
$$ idris -p config example.idr 
     ____    __     _                                          
    /  _/___/ /____(_)____                                     
    / // __  / ___/ / ___/     Version 0.9.16-git:PRE
  _/ // /_/ / /  / (__  )      http://www.idris-lang.org/      
 /___/\__,_/_/  /_/____/       Type :? for help               

Idris is free software with ABSOLUTELY NO WARRANTY.            
For details type :warranty.
Type checking ./example.idr
*example>
Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].