kr.angelov 546c7ac859 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

..

Android.mk

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

Application.mk

move src/runtime/android to src/ui/android/jni

2013-09-05 12:19:59 +00:00