diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-04-05 09:59:35 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-04-05 09:59:35 -0400 |
| commit | 8e6549d776ab2e60d4a669d37dd7b2df9becc592 (patch) | |
| tree | c202c56eb142ac17bc7047dcd8fb35109b7c4b26 /src/Util/Tactics.v | |
| parent | 8ddfa0e4d0103d29fdc12b10489c4351b5875845 (diff) | |
Glue pipeline: Curry and type-reify context vars
This should finish the changes to the glue pipeline needed for handling
ladderstep.
Diffstat (limited to 'src/Util/Tactics.v')
0 files changed, 0 insertions, 0 deletions