kr.angelov 6729cca568 factor of 3 speedup for the translation without slowing down the grammar loading. The parser still seems to be 8 times slower than before I introduced the BIND. At least the Android UI now feels a lot more comfortable

2013-11-07 11:14:32 +00:00

..

c

factor of 3 speedup for the translation without slowing down the grammar loading. The parser still seems to be 8 times slower than before I introduced the BIND. At least the Android UI now feels a lot more comfortable

2013-11-07 11:14:32 +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