|
file | alloc.c |
|
file | alloc.h [code] |
| Allocation, creation and copying of basic structures; simple freeing operations.
|
|
file | checker.c |
|
file | checker.h [code] |
| Definitions of the base structures that represent the formulas and proofs.
|
|
file | copy.c |
|
file | envmap_base.c |
|
file | envmap_base.h [code] |
| Operations on the data structure that represents environments.
|
|
file | errorMessages.c |
|
file | errorMessages.h [code] |
| Implementation of procedures that handle printing of error messages.
|
|
file | free.c |
|
file | free.h [code] |
| Complex freeing operations.
|
|
file | gen_spec_checker.c |
|
file | gen_spec_checker.h [code] |
| Basic proof-theoretic operations such as substitutions, alpha and beta equivalence.
|
|
file | namemap.c |
|
file | namemap.h [code] |
| Operations on the data structure that represents dictionaries of names.
|
|
file | printMessages.c |
|
file | printMessages.h [code] |
| The pretty-printing procedures.
|
|
file | typechecker.c |
|
file | typechecker.h [code] |
| The core logic of the typechecker.
|
|
file | vars_set.c |
|
file | vars_set.h [code] |
| Finite sets with union operation.
|
|