 Taddeus Kroes
|
b530c36dde
Generated variable names now have leading underscores instead of dollar signs
|
12 lat temu |
|
Taddeus Kroes
|
ed05e0566d
Small docs fixes
|
12 lat temu |
|
Taddeus Kroes
|
111c1d546c
Documented extern variables phase, moved the phase to before dimension reduction, fixed dimension getters/setters for extern array variables
|
12 lat temu |
|
Taddeus Kroes
|
b8ec1c056c
Added interface for Main module and generalised main phase function in a type
|
12 lat temu |
|
Taddeus Kroes
|
bbb89db752
Forgot to add the mli files in the last commit... and now removed (generated) types.ml from repo index
|
12 lat temu |
