diff options
| author | Kathy Gray | 2013-08-30 16:45:45 +0100 |
|---|---|---|
| committer | Kathy Gray | 2013-08-30 16:45:45 +0100 |
| commit | d9f9536b3c709ac7f272ee02957d5670c9f17c59 (patch) | |
| tree | eeca7f4beabfa773973388852fc97f3ff147b2b1 /src/process_file.ml | |
| parent | a608b0836da282056539587ce6939eeb34052db9 (diff) | |
Small clean up of ott files, start of environments for formal representation of kind and type system
Diffstat (limited to 'src/process_file.ml')
0 files changed, 0 insertions, 0 deletions