kr.angelov 71744f7642 fix for the memory allocation in the jitter which should work for Windows.

2013-11-07 08:47:35 +00:00

..

c

fix for the memory allocation in the jitter which should work for Windows.

2013-11-07 08:47:35 +00:00

haskell

Remove PGF.Signature

2013-11-06 13:27:29 +00:00

java

the 'Release' configuration in Eclipse is renamed to 'Release (posix)'. In addition now there is 'Release (mingw)' for Windows.

2013-11-07 08:36:17 +00:00

javascript

fix a typo in src/runtime/javascript/translator.html

2013-09-25 07:13:50 +00:00

python

A simple type checker in the C runtime. Dependent types are not supported yet but HOAS is implemented. The API is accessible from Python as well

2013-11-04 17:10:46 +00:00