kr.angelov edb4f7320d add gu_buf_insert in libgu

2013-11-18 09:05:09 +00:00

..

c

add gu_buf_insert in libgu

2013-11-18 09:05:09 +00:00

haskell

added Predef.SOFT_BIND. This special token allows zero or more spaces between ordinary tokens. It is also used in the English RGL to attach the commas to the previous word.

2013-11-12 09:54:57 +00:00

java

add additional options for compiling the Java binding on Windows (suggested by Normunds)

2013-11-15 07:48:02 +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