Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Oct 2, 2015

• Added simple example using Java FFI to convert floats to and from

  Show description for c1ed11c
  

  Benedict R. Gaster

  committed
  c1ed11c

  Copy full SHA for c1ed11c

Commits on Sep 24, 2015

• Base hello world exmaple in LWJGL.

  

  Benedict R. Gaster

  committed
  acb2264

  Copy full SHA for acb2264

• Fixed an issue with higher order functions in the FFI and what seems

  Show description for e69ec7b
  

  Benedict R. Gaster

  committed
  e69ec7b

  Copy full SHA for e69ec7b

• Added support for anonymous classes, which are needed to implement

  Show description for 54ac0ad
  

  Benedict R. Gaster

  committed
  54ac0ad

  Copy full SHA for 54ac0ad

Commits on Sep 14, 2015

• Missed updated to example!

  

  Benedict R. Gaster

  committed
  26d2cc8

  Copy full SHA for 26d2cc8

• Added test that:

  Show description for fc3a4db
  

  Benedict R. Gaster

  committed
  fc3a4db

  Copy full SHA for fc3a4db

Commits on Sep 13, 2015

• Ported to Idris dev tip, requiring adding --yes-really.

  Show description for 8b665e9
  

  Benedict R. Gaster

  committed
  8b665e9

  Copy full SHA for 8b665e9

Commits on Sep 11, 2015

• Finished support for Idris' prim__ builtins.

  Show description for 89e1d26
  

  Benedict R. Gaster

  committed
  89e1d26

  Copy full SHA for 89e1d26

Commits on Sep 10, 2015

• Added missing IdrisJava package!

  Show description for aead472
  

  Benedict R. Gaster

  committed
  aead472

  Copy full SHA for aead472

• Merge pull request #2 from bgaster/master

  Show description for 636a7b5
  bgaster

  committed
  636a7b5

  Copy full SHA for 636a7b5

• Added basic installation instructions.

  

  Benedict R. Gaster

  committed
  a35d91c

  Copy full SHA for a35d91c

Commits on Sep 9, 2015

• Fixed a few bugs in the readme.

  

  Benedict R. Gaster

  committed
  0e17737

  Copy full SHA for 0e17737

• Tidy old files.

  Show description for 4c09a72
  

  Benedict R. Gaster

  committed
  4c09a72

  Copy full SHA for 4c09a72

• Modified package to be a bit more uniform in structure.

  

  Benedict R. Gaster

  committed
  b6ecf0d

  Copy full SHA for b6ecf0d

• Added basic support for FFI and JAVA_IO monad.

  Show description for f889200
  

  Benedict R. Gaster

  committed
  f889200

  Copy full SHA for f889200

Commits on Sep 7, 2015

• Added some information to the README.md.

  

  Benedict R. Gaster

  committed
  c05a886

  Copy full SHA for c05a886

• Fixed basic codegenerator work to with Idris 0.9.19.

  Show description for 3d21cd0
  

  Benedict R. Gaster

  committed
  3d21cd0

  Copy full SHA for 3d21cd0

Commits on Oct 25, 2014

• Add missing modules

  edwinb

  committed
  e47ae95

  Copy full SHA for e47ae95

• Initial commit

  edwinb

  committed
  8b275a2

  Copy full SHA for 8b275a2