Age | Commit message (Collapse) | Author |
|
|
|
|
|
|
|
|
|
tells us something about term types. Should be used a lot more instead of explicitly looking into terms->tag everywhere
|
|
|
|
|
|
|
|
|
|
leave behind some bindings even though the unification failed.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
which defines how double quoted strings are stored.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
actual builtins
|
|
|