447482e489
Preparation for new unifier. @dselsam: I had to make minor changes at `Synth.Lean`, and add messy code to `Context.lean`. `Context.lean` will be deleted in the future. So, it is not a big deal. |
||
|---|---|---|
| .. | ||
| Command.lean | ||
| Default.lean | ||
| Identifier.lean | ||
| Level.lean | ||
| Module.lean | ||
| Parser.lean | ||
| Term.lean | ||
| Transform.lean | ||
| Trie.lean | ||