Skip to content

/IdrisScript

FFI Bindings to interact with the unsafe world of JavaScript
  1. Idris 99.4%
  2. Makefile 0.6%
Branch: master
Find File
Clone or download

Clone with HTTPS

Use Git or checkout with SVN using the web URL.

Open in Desktop Download ZIP

Launching GitHub Desktop...

If nothing happens, download GitHub Desktop and try again.

Launching GitHub Desktop...

If nothing happens, download GitHub Desktop and try again.

Launching Xcode...

If nothing happens, download Xcode and try again.

Launching Visual Studio...

If nothing happens, download the GitHub extension for Visual Studio and try again.

@Melvar
Melvar Merge pull request #6 from justjoheinz/feature/pure 
Use pure instead of return
Latest commit 4bb7019 Jul 1, 2017
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
IdrisScript Use pure instead of return Mar 16, 2017
examples Use pure instead of return Mar 16, 2017
.gitignore added gitignore Oct 2, 2014
IdrisScript.idr Use pure instead of return Mar 16, 2017
LICENSE changed to BSD2 Oct 5, 2015
Makefile Makefile and package description Oct 2, 2014
README.md Initial commit Oct 2, 2014
idrisscript.ipkg added Timer module Oct 4, 2014

README.md

IdrisScript

FFI Bindings to interact with the unsafe world of JavaScript

You can’t perform that action at this time.