diff options
| author | Nadrieril Feneanar | 2020-03-04 22:41:41 +0000 |
|---|---|---|
| committer | GitHub | 2020-03-04 22:41:41 +0000 |
| commit | 2ca97e97f1718141d826a78ab3da8197b2d55c69 (patch) | |
| tree | 906e09e2686356c91a3a2ea4c373ad99827c7c13 /dhall-lang | |
| parent | 5f720252a00bf2a45fef7f4c0855b79bd3932600 (diff) | |
| parent | d5874d9dcedc15eaccb942cc8f45f26b2335ed2d (diff) | |
Merge pull request #133 from basile-henry/record-projection-by-expression
Record projection by expression
Diffstat (limited to 'dhall-lang')
0 files changed, 0 insertions, 0 deletions