diff options
author | Nadrieril | 2020-04-05 19:56:00 +0100 |
---|---|---|
committer | GitHub | 2020-04-05 19:56:00 +0100 |
commit | 4290615769fc26c5e4b70843e7fbfddf6359af41 (patch) | |
tree | d7b7a860f08831aa81faee961c0d675440daea32 /dhall/src/semantics/tck | |
parent | 7e977f282fb6a0eff0ef45738b9b5c98dc4c6fee (diff) | |
parent | 5a10cd2e8fac854f4f6fa152cfb1b9ad71b0d091 (diff) |
Merge pull request #157 from Nadrieril/release
Release v0.5.0
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions