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

..

INSTALL

Add INSTALL file for python bindings. Add note about libtool to INSTALL of c runtime

2013-08-23 13:06:58 +00:00

pypgf.c

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

setup.py

the Python binding is in pure C again

2013-01-29 09:20:32 +00:00

test.py

change the locale in the test script for the Python binding

2013-08-21 13:17:39 +00:00