incomplete/probably buggy/experimental: adding "complex" types to Sarek via Ctypes
travis
-comments
generates  ksum C representation
c_to_ml
ml_to_c
... works on host memory
start adding ctypes to sarek typer
constrcut types from GPU
Sarek can type and build constructors with "1" argument
basic sample with "pattern_matching" over sum types passes
bugfix : Kirc.rewrite must handle pattern matching
now with records
game of life in game.ml -> todo : extension generates invalid patterns when used directly with ocamlc/opt
todo : add comparison function for custom types
sample belote.ml
Update README.md
automatic generation of comparison functions between types : belote.ml compiles
Merge branch 'ctypes' of github.com:mathiasbourgoin/SPOC into ctypes
fix : reverse order of parameters in local functions