| name | mode | size |
|---|---|---|
| .. | ||
| cmu | 120000 | |
| README | 100644 | 0 kb |
| default.scm | 100644 | 2 kb |
| dictionary.scm | 100644 | 9 kb |
| expression-typechecking.scm | 100644 | 13 kb |
| pattern-binding.scm | 100644 | 1 kb |
| type-decl.scm | 100644 | 12 kb |
| type-error-handlers.scm | 100644 | 1 kb |
| type-macros.scm | 100644 | 5 kb |
| type-main.scm | 100644 | 2 kb |
| type-vars.scm | 100644 | 2 kb |
| type.scm | 100644 | 1 kb |
| unify.scm | 100644 | 5 kb |
This directory contains the type inference phase.