diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-10-18 18:12:21 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-18 18:12:21 +0200 |
| commit | fda835b231e4ae2cbcedf7bb6124443fa07c9ab4 (patch) | |
| tree | dd7a1175b912bf9dc164a3a2215ee116a734797d /misc | |
| parent | 6bca8f82c7ce3b2fb882853c6a139222ca03488c (diff) | |
| parent | 7ed46c15744461534478e2ed0aa25a2b2e536c6f (diff) | |
Merge pull request #4143 from obsidiansystems/typed-goal-maps
Properly type the derivation and substitution goal maps
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions