kr.angelov 9de4812482 better dictionary visualization in the Android App

2013-11-27 22:16:05 +00:00

..

c

added API in the C runtime and the Java binding for checking whether a given function is linearizable in a given language. This is used in the Android UI for better vizualizations

2013-11-27 12:35:11 +00:00

haskell

Represent identifiers as UTF-8-encoded ByteStrings

2013-11-26 16:12:03 +00:00

java

better dictionary visualization in the Android App

2013-11-27 22:16:05 +00:00

javascript

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

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

python

fix in the Python binding

2013-11-20 09:54:37 +00:00