diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-11-04 17:10:46 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-11-04 17:10:46 +0000 |
| commit | 546c7ac85950f98212e08a2ba93795d225fb19e6 (patch) | |
| tree | 54196590598f877a8a141ae4c7e450165018e8d7 /src/binary | |
| parent | 585a192d0bab7896763964a880cd1af527d94da1 (diff) | |
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
Diffstat (limited to 'src/binary')
0 files changed, 0 insertions, 0 deletions