diff options
| author | Son Ho | 2023-07-11 15:23:49 +0200 |
|---|---|---|
| committer | Son Ho | 2023-07-11 15:23:49 +0200 |
| commit | 6166c410a4b3353377e640acbae9f56e877a9118 (patch) | |
| tree | 648f114119502db5126604ffee4c011c2c2913e3 /compiler/Substitute.ml | |
| parent | 7206b48a73d6204baea99f4f4675be2518a8f8c2 (diff) | |
Work on the progress tactic
Diffstat (limited to 'compiler/Substitute.ml')
0 files changed, 0 insertions, 0 deletions