diff options
| author | Lysxia | 2019-03-18 08:20:10 -0400 |
|---|---|---|
| committer | Lysxia | 2019-03-18 08:20:10 -0400 |
| commit | b64dc640d2af26b1ccf2524c1050c16f57d2be35 (patch) | |
| tree | 7da398778b22be052482aeba914d72a6662beba7 /kernel/uGraph.ml | |
| parent | 94f9c0c4b6dd517dc3dca031fbcb9ff455309d19 (diff) | |
[Manual] Move command Context after Let, and more polishing
- Refine some `@term` into `@type`
Diffstat (limited to 'kernel/uGraph.ml')
0 files changed, 0 insertions, 0 deletions