diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2011-11-29 12:12:51 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2011-11-29 12:12:51 +0000 |
| commit | fffc5f2507e3adb2e3e6c780f94f5a68e7cb59f6 (patch) | |
| tree | e91e1f9fe84b3fdab78cf227774aeef52fb77b3d /doc | |
| parent | 1dd5af772974a2055b63148ebc542fe22c0021b1 (diff) | |
Sketch of the new type checker for the concrete syntax. Enabled only with -new-comp
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions